Mavryk_raw_protocol_001_PtAtLas.Sc_rollup_riscvtype minimal_state = {payload : string;level : Raw_level_repr.t option;message_counter : Mavryk_protocol_environment_001_PtAtLas.Z.t;tick : Mavryk_protocol_environment_001_PtAtLas.Z.t;}val minimal_state_encoding :
minimal_state Mavryk_protocol_environment_001_PtAtLas.Data_encoding.tval make_empty_state : unit -> minimal_statemodule type S = sig ... endmodule Protocol_implementation :
S
with type context = unit
and type state = minimal_state
and type proof = voidval reference_initial_state_hash : Sc_rollup_repr.State_hash.t