package containers
Module Containers_pp.OutSource
Arbitrary output.
This is used for user-provided output.
Source
type t = {char : char -> unit;(*Output a single char. The char is assumed not to be
*)'\n'.sub_string : string -> int -> int -> unit;(*Output a string slice (optim for
*)string)string : string -> unit;(*Output a string
*)newline : unit -> unit;(*Output a newline
*)
}