Module Sc_rollups.PVMSource

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