package cil

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type doc
val nil : doc
val (++) : doc -> doc -> doc
val concat : doc -> doc -> doc
val text : string -> doc
val num : int -> doc
val num64 : int64 -> doc
val real : float -> doc
val chr : char -> doc
val line : doc
val leftflush : doc
val break : doc
val align : doc
val unalign : doc
val mark : doc
val unmark : doc
val indent : int -> doc -> doc
val markup : doc -> doc
val seq : sep:doc -> doit:('a -> doc) -> elements:'a list -> doc
val docList : ?sep:doc -> ('a -> doc) -> unit -> 'a list -> doc
val d_list : string -> (unit -> 'a -> doc) -> unit -> 'a list -> doc
val docArray : ?sep:doc -> (int -> 'a -> doc) -> unit -> 'a array -> doc
val docOpt : ('a -> doc) -> unit -> 'a option -> doc
val d_int32 : int32 -> doc
val f_int32 : unit -> int32 -> doc
val d_int64 : int64 -> doc
val f_int64 : unit -> int64 -> doc
module MakeMapPrinter (Map : sig ... end) : sig ... end
module MakeSetPrinter (Set : sig ... end) : sig ... end
val insert : unit -> doc -> doc
val dprintf : ('a, unit, doc, doc) Pervasives.format4 -> 'a
val gprintf : (doc -> 'b) -> ('a, unit, doc, 'b) Pervasives.format4 -> 'a
val fprint : Pervasives.out_channel -> width:int -> doc -> unit
val sprint : width:int -> doc -> string
val fprintf : Pervasives.out_channel -> ('a, unit, doc) Pervasives.format -> 'a
val printf : ('a, unit, doc) Pervasives.format -> 'a
val eprintf : ('a, unit, doc) Pervasives.format -> 'a
val withPrintDepth : int -> (unit -> unit) -> unit
val printDepth : int Pervasives.ref
val printIndent : bool Pervasives.ref
val fastMode : bool Pervasives.ref
val flushOften : bool Pervasives.ref
val flattenBeforePrint : bool Pervasives.ref
val countNewLines : int Pervasives.ref
val auto_printer : string -> 'b