nettypes.ml

module type FLOW = sig                                                                                   
  (* Type of an individual flow *)                                                                       
  type t                                                                                                 
  (* Type that manages a collection of flows *)                                                          
  type mgr                                                                                               
  (* Type that identifies a flow source and destination endpoint *)
  type src
  type dst

  (* Read and write to a flow *)                                                                         
  val read: t -> OS.Istring.View.t option Lwt.t
  val write: t -> OS.Istring.View.t -> unit Lwt.t                                                        
  val close: t -> unit Lwt.t
  
  (* Flow construction *)                                                                                
  val listen: mgr -> src -> (dst -> t -> unit Lwt.t) -> unit Lwt.t                             
  val connect: mgr -> src -> dst -> (t -> unit Lwt.t) -> unit Lwt.t                           
end 

tcp.mli

module TCPv4 : sig
  type t
  type mgr = Manager.t
  type src = ipv4_addr option * int  
  type dst = ipv4_addr * int

  val read : t -> OS.Istring.View.t option Lwt.t
  val write : t -> OS.Istring.View.t -> unit Lwt.t
  val close : t -> unit Lwt.t

  val listen : mgr -> src -> (dst -> t -> unit Lwt.t) -> unit Lwt.t
  val connect : mgr -> src -> dst -> (t -> unit Lwt.t) -> unit Lwt.t
end