Module Elpi_util.Util

module type Show = sig ... end
module type ShowKey = sig ... end
module type Show1 = sig ... end
module type Show2 = sig ... end
module Map : sig ... end
module Set : sig ... end
module Int : sig ... end
module Bool : sig ... end
module String : sig ... end
module StrMap : Map.S with type key = string
module IntMap : Map.S with type key = int
module StrSet : Set.S with type elt = string
module IntSet : Set.S with type elt = int
module Digest : sig ... end
module Hashtbl : sig ... end
module Loc : sig ... end
val smart_map : ('a -> 'a) -> 'a list -> 'a list
val smart_map2 : ('x -> 'a -> 'a) -> 'x -> 'a list -> 'a list
val smart_map3 : ('x -> 'y -> 'a -> 'a) -> 'x -> 'y -> 'a list -> 'a list
val uniqq : 'a list -> 'a list
val for_all2 : ('a -> 'a -> bool) -> 'a list -> 'a list -> bool
val for_all23 : argsdepth:int -> (argsdepth:int -> matching:bool -> 'x -> 'y -> 'z -> 'a -> 'a -> bool) -> 'x -> 'y -> 'z -> 'a list -> 'a list -> bool
val for_all3b : ('a -> 'a -> bool -> bool) -> 'a list -> 'a list -> bool list -> bool -> bool
module type Mode = sig ... end
module Mode : Mode
val for_all3b3 : argsdepth:int -> (argsdepth:int -> matching:bool -> 'x -> 'y -> 'z -> 'a -> 'a -> bool) -> 'x -> 'y -> 'z -> 'a list -> 'a list -> Mode.ho list -> bool -> bool
val remove_from_list : 'a -> 'a list -> 'a list
val map_exists : ('a -> 'b option) -> 'a list -> 'b option
val map_filter : ('a -> 'b option) -> 'a list -> 'b list
val map_acc : ('acc -> 'a -> 'acc * 'b) -> 'acc -> 'a list -> 'acc * 'b list
val map_acc2 : ('acc -> 'a -> 'b -> 'acc * 'c) -> 'acc -> 'a list -> 'b list -> 'acc * 'c list
val map_acc3 : ('acc -> 'a -> 'b -> 'd -> 'acc * 'c) -> 'acc -> 'a list -> 'b list -> 'd list -> 'acc * 'c list
val partition_i : (int -> 'a -> bool) -> 'a list -> 'a list * 'a list
val fold_left2i : (int -> 'acc -> 'x -> 'y -> 'acc) -> 'acc -> 'x list -> 'y list -> 'acc
val uniq : 'a list -> 'a list
val option_get : ?err:string -> 'a option -> 'a
val option_map : ('a -> 'b) -> 'a option -> 'b option
val option_smart_map : ('a -> 'a) -> 'a option -> 'a option
val pp_option : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a option -> unit
val option_mapacc : ('acc -> 'a -> 'acc * 'b) -> 'acc -> 'a option -> 'acc * 'b option
val option_iter : ('a -> unit) -> 'a option -> unit
val option_default : 'a -> 'a option -> 'a
module UUID : sig ... end
val pplist : ?max:int -> ?boxed:bool -> (Format.formatter -> 'a -> unit) -> ?pplastelem:(Format.formatter -> 'a -> unit) -> string -> Format.formatter -> 'a list -> unit
val pp_int : Format.formatter -> int -> unit
val pp_string : Format.formatter -> string -> unit
val pp_pair : (Format.formatter -> 'a -> unit) -> (Format.formatter -> 'b -> unit) -> Format.formatter -> ('a * 'b) -> unit
val show_pair : (Format.formatter -> 'a -> unit) -> (Format.formatter -> 'b -> unit) -> ('a * 'b) -> string
type 'a spaghetti_printer
val mk_spaghetti_printer : unit -> 'a spaghetti_printer
val set_spaghetti_printer : 'a spaghetti_printer -> (Format.formatter -> 'a -> unit) -> unit
val pp_spaghetti : 'a spaghetti_printer -> Format.formatter -> 'a -> unit
val show_spaghetti : 'a spaghetti_printer -> 'a -> string
val pp_spaghetti_any : (UUID.t * Obj.t) spaghetti_printer -> id:UUID.t -> Format.formatter -> 'a -> unit
module Fork : sig ... end
val error : ?loc:Loc.t -> string -> 'a
val anomaly : ?loc:Loc.t -> string -> 'a
val type_error : ?loc:Loc.t -> string -> 'a
type warning_id =
  1. | LinearVariable
  2. | UndeclaredGlobal
  3. | FlexClause
  4. | ImplicationPrecedence
val warn : ?loc:Loc.t -> id:warning_id -> string -> unit
val printf : ('a, Format.formatter, unit) format -> 'a
val eprintf : ('a, Format.formatter, unit) format -> 'a
val set_warn : (?loc:Loc.t -> id:warning_id -> string -> unit) -> unit
val set_error : (?loc:Loc.t -> string -> 'a) -> unit
val set_anomaly : (?loc:Loc.t -> string -> 'a) -> unit
val set_type_error : (?loc:Loc.t -> string -> 'a) -> unit
val set_std_formatter : Format.formatter -> unit
val set_err_formatter : Format.formatter -> unit
val set_formatters_maxcols : int -> unit
val set_formatters_maxbox : int -> unit
module CData : sig ... end
val std_resolver : ?cwd:string -> paths:string list -> unit -> ?cwd:string -> unit:string -> unit -> string
type constant = int
val pp_constant : Format.formatter -> constant -> unit
val show_constant : constant -> string
val compare_constant : constant -> constant -> int
module Constants : sig ... end
val version_parser : what:string -> string -> int * int * int