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