Note:

You are viewing a development version of the library. Goto the latest version.

sig   module MapExt :     sig       module type S =         sig           type key           type +'a t           val empty : 'a t           val is_empty : 'a t -> bool           val mem : key -> 'a t -> bool           val add : key -> '-> 'a t -> 'a t           val singleton : key -> '-> 'a t           val remove : key -> 'a t -> 'a t           val merge :             (key -> 'a option -> 'b option -> 'c option) ->             'a t -> 'b t -> 'c t           val union : (key -> '-> '-> 'a option) -> 'a t -> 'a t -> 'a t           val compare : ('-> '-> int) -> 'a t -> 'a t -> int           val equal : ('-> '-> bool) -> 'a t -> 'a t -> bool           val iter : (key -> '-> unit) -> 'a t -> unit           val fold : (key -> '-> '-> 'b) -> 'a t -> '-> 'b           val for_all : (key -> '-> bool) -> 'a t -> bool           val exists : (key -> '-> bool) -> 'a t -> bool           val filter : (key -> '-> bool) -> 'a t -> 'a t           val partition : (key -> '-> bool) -> 'a t -> 'a t * 'a t           val cardinal : 'a t -> int           val bindings : 'a t -> (key * 'a) list           val min_binding : 'a t -> key * 'a           val max_binding : 'a t -> key * 'a           val choose : 'a t -> key * 'a           val split : key -> 'a t -> 'a t * 'a option * 'a t           val find : key -> 'a t -> 'a           val map : ('-> 'b) -> 'a t -> 'b t           val mapi : (key -> '-> 'b) -> 'a t -> 'b t           val add_list : 'a t -> (key * 'a) list -> 'a t           val of_list : (key * 'a) list -> 'a t           val to_list : 'a t -> (key * 'a) list         end       module Make :         functor (Ord : Map.OrderedType->           sig             type key = Ord.t             type +'a t             val empty : 'a t             val is_empty : 'a t -> bool             val mem : key -> 'a t -> bool             val add : key -> '-> 'a t -> 'a t             val singleton : key -> '-> 'a t             val remove : key -> 'a t -> 'a t             val merge :               (key -> 'a option -> 'b option -> 'c option) ->               'a t -> 'b t -> 'c t             val union :               (key -> '-> '-> 'a option) -> 'a t -> 'a t -> 'a t             val compare : ('-> '-> int) -> 'a t -> 'a t -> int             val equal : ('-> '-> bool) -> 'a t -> 'a t -> bool             val iter : (key -> '-> unit) -> 'a t -> unit             val fold : (key -> '-> '-> 'b) -> 'a t -> '-> 'b             val for_all : (key -> '-> bool) -> 'a t -> bool             val exists : (key -> '-> bool) -> 'a t -> bool             val filter : (key -> '-> bool) -> 'a t -> 'a t             val partition : (key -> '-> bool) -> 'a t -> 'a t * 'a t             val cardinal : 'a t -> int             val bindings : 'a t -> (key * 'a) list             val min_binding : 'a t -> key * 'a             val max_binding : 'a t -> key * 'a             val choose : 'a t -> key * 'a             val split : key -> 'a t -> 'a t * 'a option * 'a t             val find : key -> 'a t -> 'a             val map : ('-> 'b) -> 'a t -> 'b t             val mapi : (key -> '-> 'b) -> 'a t -> 'b t             val add_list : 'a t -> (key * 'a) list -> 'a t             val of_list : (key * 'a) list -> 'a t             val to_list : 'a t -> (key * 'a) list           end     end   module MapString :     sig       type key = String.t       type +'a t       val empty : 'a t       val is_empty : 'a t -> bool       val mem : key -> 'a t -> bool       val add : key -> '-> 'a t -> 'a t       val singleton : key -> '-> 'a t       val remove : key -> 'a t -> 'a t       val merge :         (key -> 'a option -> 'b option -> 'c option) -> 'a t -> 'b t -> 'c t       val union : (key -> '-> '-> 'a option) -> 'a t -> 'a t -> 'a t       val compare : ('-> '-> int) -> 'a t -> 'a t -> int       val equal : ('-> '-> bool) -> 'a t -> 'a t -> bool       val iter : (key -> '-> unit) -> 'a t -> unit       val fold : (key -> '-> '-> 'b) -> 'a t -> '-> 'b       val for_all : (key -> '-> bool) -> 'a t -> bool       val exists : (key -> '-> bool) -> 'a t -> bool       val filter : (key -> '-> bool) -> 'a t -> 'a t       val partition : (key -> '-> bool) -> 'a t -> 'a t * 'a t       val cardinal : 'a t -> int       val bindings : 'a t -> (key * 'a) list       val min_binding : 'a t -> key * 'a       val max_binding : 'a t -> key * 'a       val choose : 'a t -> key * 'a       val split : key -> 'a t -> 'a t * 'a option * 'a t       val find : key -> 'a t -> 'a       val map : ('-> 'b) -> 'a t -> 'b t       val mapi : (key -> '-> 'b) -> 'a t -> 'b t       val add_list : 'a t -> (key * 'a) list -> 'a t       val of_list : (key * 'a) list -> 'a t       val to_list : 'a t -> (key * 'a) list     end   module SetExt :     sig       module type S =         sig           type elt           type t           val empty : t           val is_empty : t -> bool           val mem : elt -> t -> bool           val add : elt -> t -> t           val singleton : elt -> t           val remove : elt -> t -> t           val union : t -> t -> t           val inter : t -> t -> t           val diff : t -> t -> t           val compare : t -> t -> int           val equal : t -> t -> bool           val subset : t -> t -> bool           val iter : (elt -> unit) -> t -> unit           val fold : (elt -> '-> 'a) -> t -> '-> 'a           val for_all : (elt -> bool) -> t -> bool           val exists : (elt -> bool) -> t -> bool           val filter : (elt -> bool) -> t -> t           val partition : (elt -> bool) -> t -> t * t           val cardinal : t -> int           val elements : t -> elt list           val min_elt : t -> elt           val max_elt : t -> elt           val choose : t -> elt           val split : elt -> t -> t * bool * t           val find : elt -> t -> elt           val add_list : t -> elt list -> t           val of_list : elt list -> t           val to_list : t -> elt list         end       module Make :         functor (Ord : Set.OrderedType->           sig             type elt = Ord.t             type t             val empty : t             val is_empty : t -> bool             val mem : elt -> t -> bool             val add : elt -> t -> t             val singleton : elt -> t             val remove : elt -> t -> t             val union : t -> t -> t             val inter : t -> t -> t             val diff : t -> t -> t             val compare : t -> t -> int             val equal : t -> t -> bool             val subset : t -> t -> bool             val iter : (elt -> unit) -> t -> unit             val fold : (elt -> '-> 'a) -> t -> '-> 'a             val for_all : (elt -> bool) -> t -> bool             val exists : (elt -> bool) -> t -> bool             val filter : (elt -> bool) -> t -> t             val partition : (elt -> bool) -> t -> t * t             val cardinal : t -> int             val elements : t -> elt list             val min_elt : t -> elt             val max_elt : t -> elt             val choose : t -> elt             val split : elt -> t -> t * bool * t             val find : elt -> t -> elt             val add_list : t -> elt list -> t             val of_list : elt list -> t             val to_list : t -> elt list           end     end   module SetString :     sig       type elt = String.t       type t       val empty : t       val is_empty : t -> bool       val mem : elt -> t -> bool       val add : elt -> t -> t       val singleton : elt -> t       val remove : elt -> t -> t       val union : t -> t -> t       val inter : t -> t -> t       val diff : t -> t -> t       val compare : t -> t -> int       val equal : t -> t -> bool       val subset : t -> t -> bool       val iter : (elt -> unit) -> t -> unit       val fold : (elt -> '-> 'a) -> t -> '-> 'a       val for_all : (elt -> bool) -> t -> bool       val exists : (elt -> bool) -> t -> bool       val filter : (elt -> bool) -> t -> t       val partition : (elt -> bool) -> t -> t * t       val cardinal : t -> int       val elements : t -> elt list       val min_elt : t -> elt       val max_elt : t -> elt       val choose : t -> elt       val split : elt -> t -> t * bool * t       val find : elt -> t -> elt       val add_list : t -> elt list -> t       val of_list : elt list -> t       val to_list : t -> elt list     end   module SetStringCsl :     sig       type elt = String.t       type t       val empty : t       val is_empty : t -> bool       val mem : elt -> t -> bool       val add : elt -> t -> t       val singleton : elt -> t       val remove : elt -> t -> t       val union : t -> t -> t       val inter : t -> t -> t       val diff : t -> t -> t       val compare : t -> t -> int       val equal : t -> t -> bool       val subset : t -> t -> bool       val iter : (elt -> unit) -> t -> unit       val fold : (elt -> '-> 'a) -> t -> '-> 'a       val for_all : (elt -> bool) -> t -> bool       val exists : (elt -> bool) -> t -> bool       val filter : (elt -> bool) -> t -> t       val partition : (elt -> bool) -> t -> t * t       val cardinal : t -> int       val elements : t -> elt list       val min_elt : t -> elt       val max_elt : t -> elt       val choose : t -> elt       val split : elt -> t -> t * bool * t       val find : elt -> t -> elt       val add_list : t -> elt list -> t       val of_list : elt list -> t       val to_list : t -> elt list     end   module HashStringCsl :     sig       type key = String.t       type 'a t       val create : int -> 'a t       val clear : 'a t -> unit       val reset : 'a t -> unit       val copy : 'a t -> 'a t       val add : 'a t -> key -> '-> unit       val remove : 'a t -> key -> unit       val find : 'a t -> key -> 'a       val find_all : 'a t -> key -> 'a list       val replace : 'a t -> key -> '-> unit       val mem : 'a t -> key -> bool       val iter : (key -> '-> unit) -> 'a t -> unit       val filter_map_inplace : (key -> '-> 'a option) -> 'a t -> unit       val fold : (key -> '-> '-> 'b) -> 'a t -> '-> 'b       val length : 'a t -> int       val stats : 'a t -> Hashtbl.statistics     end   val varname_of_string : ?hyphen:char -> string -> string   val varname_concat : ?hyphen:char -> string -> string -> string   val is_varname : string -> bool   val failwithf : ('a, unit, string, 'b) Pervasives.format4 -> 'a   val file_location :     ?pos1:Lexing.position ->     ?pos2:Lexing.position -> ?lexbuf:Lexing.lexbuf -> unit -> string   val failwithpf :     ?pos1:Lexing.position ->     ?pos2:Lexing.position ->     ?lexbuf:Lexing.lexbuf -> ('a, unit, string, 'b) Pervasives.format4 -> 'a   val compare_csl : string -> string -> int   val may : ('-> unit) -> 'a option -> unit   module POSIXShell :     sig       val split : string -> string list       val escape : string -> string       val unescape : string -> string     end end