functor (T : Netplex_cenv.TYPE) -> sig type t = T.t type mbox val create : string -> mbox val send : mbox -> t -> unit val receive : mbox -> t end