sig
exception GotSignal of int
val withTimeout : float -> (int -> 'a) -> ('b -> 'a) -> 'b -> 'a
val docHash :
?sep:string ->
('a -> 'b -> Pretty.doc) -> unit -> ('a, 'b) Hashtbl.t -> Pretty.doc
val hash_to_list : ('a, 'b) Hashtbl.t -> ('a * 'b) list
val keys : ('a, 'b) Hashtbl.t -> 'a list
val hash_copy_into : ('a, 'b) Hashtbl.t -> ('a, 'b) Hashtbl.t -> unit
val anticompare : 'a -> 'a -> int
val list_drop : int -> 'a list -> 'a list
val list_droptail : int -> 'a list -> 'a list
val list_span : ('a -> bool) -> 'a list -> 'a list * 'a list
val list_insert_by : ('a -> 'a -> int) -> 'a -> 'a list -> 'a list
val list_head_default : 'a -> 'a list -> 'a
val list_iter3 :
('a -> 'b -> 'c -> unit) -> 'a list -> 'b list -> 'c list -> unit
val get_some_option_list : 'a option list -> 'a list
val list_iteri : (int -> 'a -> unit) -> 'a list -> unit
val list_mapi : (int -> 'a -> 'b) -> 'a list -> 'b list
val list_fold_lefti : ('a -> int -> 'b -> 'a) -> 'a -> 'b list -> 'a
val int_range_list : int -> int -> int list
val list_init : int -> (int -> 'a) -> 'a list
val list_find_first : 'a list -> ('a -> 'b option) -> 'b option
val mapNoCopy : ('a -> 'a) -> 'a list -> 'a list
val mapNoCopyList : ('a -> 'a list) -> 'a list -> 'a list
val filterNoCopy : ('a -> bool) -> 'a list -> 'a list
val joinStrings : string -> string list -> string
val hasPrefix : string -> string -> bool
val restoreRef : ?deepCopy:('a -> 'a) -> 'a Pervasives.ref -> unit -> unit
val restoreHash :
?deepCopy:('a -> 'a) -> ('b, 'a) Hashtbl.t -> unit -> unit
val restoreIntHash : ?deepCopy:('a -> 'a) -> 'a Inthash.t -> unit -> unit
val restoreArray : ?deepCopy:('a -> 'a) -> 'a array -> unit -> unit
val runThunks : (unit -> unit) list -> unit -> unit
val memoize : ('a, 'b) Hashtbl.t -> 'a -> ('a -> 'b) -> 'b
val findOrAdd : ('a, 'b) Hashtbl.t -> 'a -> ('a -> 'b) -> 'b
val tryFinally : ('a -> 'b) -> ('b option -> unit) -> 'a -> 'b
type registerInfo = {
rName : string;
rGroup : string;
rVal : Pretty.doc;
rOneLineVal : Pretty.doc option;
}
val valOf : 'a option -> 'a
val fold_for : init:'a -> lo:int -> hi:int -> (int -> 'a -> 'a) -> 'a
module type STACK =
sig
type 'a t
exception Empty
val create : unit -> 'a Util.STACK.t
val push : 'a -> 'a Util.STACK.t -> unit
val pop : 'a Util.STACK.t -> 'a
val top : 'a Util.STACK.t -> 'a
val clear : 'a Util.STACK.t -> unit
val copy : 'a Util.STACK.t -> 'a Util.STACK.t
val is_empty : 'a Util.STACK.t -> bool
val length : 'a Util.STACK.t -> int
val iter : ('a -> unit) -> 'a Util.STACK.t -> unit
end
module Stack : STACK
type configData =
ConfInt of int
| ConfBool of bool
| ConfFloat of float
| ConfString of string
| ConfList of Util.configData list
val loadConfiguration : string -> unit
val saveConfiguration : string -> unit
val clearConfiguration : unit -> unit
val setConfiguration : string -> Util.configData -> unit
val findConfiguration : string -> Util.configData
val findConfigurationInt : string -> int
val useConfigurationInt : string -> (int -> unit) -> unit
val findConfigurationBool : string -> bool
val useConfigurationBool : string -> (bool -> unit) -> unit
val findConfigurationString : string -> string
val useConfigurationString : string -> (string -> unit) -> unit
val findConfigurationList : string -> Util.configData list
val useConfigurationList : string -> (Util.configData list -> unit) -> unit
type symbol = int
val symbolName : Util.symbol -> string
val registerSymbolName : string -> Util.symbol
val registerSymbolRange : int -> (int -> string) -> Util.symbol
val newSymbol : string -> Util.symbol
val resetSymbols : unit -> unit
val snapshotSymbols : unit -> unit -> unit
val dumpSymbols : unit -> unit
module Int32Op :
sig
val ( <% ) : int32 -> int32 -> bool
val ( <=% ) : int32 -> int32 -> bool
val ( >% ) : int32 -> int32 -> bool
val ( >=% ) : int32 -> int32 -> bool
val ( <>% ) : int32 -> int32 -> bool
val ( +% ) : int32 -> int32 -> int32
val ( -% ) : int32 -> int32 -> int32
val ( *% ) : int32 -> int32 -> int32
val ( /% ) : int32 -> int32 -> int32
val ( ~-% ) : int32 -> int32
val ( <<% ) : int32 -> int32 -> int32
val ( >>% ) : int32 -> int32 -> int32
val ( >>>% ) : int32 -> int32 -> int32
exception IntegerTooLarge
val to_int : int32 -> int
end
val equals : 'a -> 'a -> bool
end