Module Wrapper.Make

Specialized module to handle translation to/from a specific context backend implementation

Parameters

module C : sig ... end

Signature

type repo = C.repo
type tree = C.tree
type mut_state = C.mut_state

Type used by the mutable API for PVMs

val of_node_context : 'a index -> ('a, repo) Context_sigs.index
val to_node_context : ('a, repo) Context_sigs.index -> 'a index
val of_node_pvmstate : pvmstate -> tree
val to_node_pvmstate : tree -> pvmstate
val from_imm : tree -> mut_state
val to_imm : mut_state -> tree