Plasma GitLab Archive
Projects Blog Knowledge

sig
  val plugin : Netplex_types.plugin
  module type MBOX =
    sig
      type t
      type mbox
      val create : string -> Netplex_mbox.MBOX.mbox
      val send : Netplex_mbox.MBOX.mbox -> Netplex_mbox.MBOX.t -> unit
      val receive : Netplex_mbox.MBOX.mbox -> Netplex_mbox.MBOX.t
    end
  module Make_mbox_type :
    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
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml