module Netplex_encap:Type-safe marshalling between processes of the same executablesig..end
type encap as an arbitrary value that carries a type identifier with it.
The type identifier is generated when the functor
Netplex_encap.Make_encap is applied. Every instantiation of this
functor generates a new type identifier.
The idea is then that an encap value can be marshalled to another
process using Marshal, and when it is unwrapped the type identifier
is checked. Unwrapping is only successful when the unwrap function
from the same functor instantiation is used as the wrap
function.
This module is incompatible with:
let module expressions.exception Type_mismatch
type encap
module type TYPE =sig..end
t
module type ENCAP =sig..end
module Make_encap: