Module Context_wrapper.Irmin

Specialized module to handle translation to/from Irmin_context. Directly used in Arith, Wasm_2_0_0 and RISC-V PVM

Type used by the mutable API for PVMs

WARNING: erase access permissions information.

val to_imm : mut_state -> state