package tezos-protocol-018-Proxford

You can search for identifiers within the package.

in-package search v0.2.0

tezos-protocol-018-Proxford

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file `misbehaviour.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
(*****************************************************************************)
(*                                                                           *)
(* SPDX-License-Identifier: MIT                                              *)
(* Copyright (c) 2023 Nomadic Labs, <contact@nomadic-labs.com>               *)
(*                                                                           *)
(*****************************************************************************)

type t = Double_baking | Double_attesting

let encoding =
  let open Data_encoding in
  union
    ~tag_size:`Uint8
    [
      case
        (Tag 0)
        ~title:"Double baking"
        (constant "double baking")
        (function Double_baking -> Some () | _ -> None)
        (fun () -> Double_baking);
      case
        (Tag 1)
        ~title:"Double attesting"
        (constant "double attesting")
        (function Double_attesting -> Some () | _ -> None)
        (fun () -> Double_attesting);
    ]

package tezos-protocol-018-Proxford

Source file misbehaviour.ml

Source file `misbehaviour.ml`