Tezos_raw_protocol_alpha.Sc_rollup_riscvtype state = Tezos_protocol_environment_alpha.Riscv.statetype proof = Tezos_protocol_environment_alpha.Riscv.proofval make_empty_state : unit -> statemodule Protocol_implementation :
Sc_rollup_PVM_sig.PROTO_VERIFICATION
with type context = unit
and type state = Tezos_protocol_environment_alpha.Riscv.state
and type proof = Tezos_protocol_environment_alpha.Riscv.proof