Mavryk_raw_protocol_alpha.Sc_rollup_riscvtype minimal_state = {payload : string;level : Raw_level_repr.t option;message_counter : Mavryk_protocol_environment_alpha.Z.t;tick : Mavryk_protocol_environment_alpha.Z.t;}val minimal_state_encoding :
minimal_state Mavryk_protocol_environment_alpha.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 = void