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