Mavryk_raw_protocol_001_PtAtLas.Misbehaviour
type t =
| Double_baking
| Double_attesting
val encoding : t Mavryk_protocol_environment_001_PtAtLas.Data_encoding.t