Module Wrapper.Make

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

Parameters

module C : Context_sigs.S

Signature

type repo = C.repo
type state = C.state
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 of_node_pvmstate : _ pvmstate -> mut_state

WARNING: erase access permissions information.

val to_imm : mut_state -> state