package extlib

  1. Overview
  2. Docs
method close_out : unit -> unit
method flush : unit -> unit
method output : string -> int -> int -> int