type bio
type listener
-val readOne : bio -> string option
-val writeAll : bio * string -> unit
+val readChar : bio -> char option
+val readInt : bio -> int option
+val readLen : bio * int -> string option
+val readChunk : bio -> string option
+val readString : bio -> string option
-val context : string * string * string -> context
+val writeChar : bio * char -> unit
+val writeInt : bio * int -> unit
+val writeString' : bio * string -> unit
+val writeString : bio * string -> unit
-val connect : context * string -> bio
+val context : bool -> string * string * string -> context
+
+val connect : bool -> context * string -> bio
val close : bio -> unit
val listen : context * int -> listener
val accept : listener -> bio option
val peerCN : bio -> string
-val acceptPeerCN : bio -> string
end