Sc_rollups.PVM
type boot_sector = string
module type S = sig ... end
type ('state, 'proof, 'output) implementation = (module S with type output_proof = 'output and type proof = 'proof and type state = 'state)
type t =
| Packed : ('state, 'proof, 'output) implementation -> t