Module Context.Wrapper

module type S = sig ... end

Context wrappers translate from/to node-context and node-pvmstate PVMs internal representation to those used in the PVM. Also provides conversion functions from/to mutable and immutable PVM types. Each different PVM context will imply a dedicated wrapper.

module Make (C : sig ... end) : S with type repo = C.repo and type tree = C.tree and type mut_state = C.mut_state

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