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 to_node_context : ('a, repo) Context_sigs.index -> 'a index
val of_node_pvmstate : _ pvmstate -> mut_state

WARNING: erase access permissions information.

val to_node_pvmstate : mut_state -> Access_mode.rw pvmstate

WARNING: inject any access permissions information.

val from_imm : state -> mut_state
val to_imm : mut_state -> state