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
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);
]