Util (elpi.Elpi_util.Util)

module type Show = 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

type arg_mode =

| Input

| Output

val for_all3b3 : 
  argsdepth:int ->
  ( argsdepth:int -> matching:bool -> 'x -> 'y -> 'z -> 'a -> 'a -> bool ) ->
  'x ->
  'y ->
  'z ->
  'a list ->
  'a list ->
  arg_mode 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 pp_option : 
  ( Stdlib.Format.formatter -> 'a -> unit ) ->
  Stdlib.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 ->
  ( Stdlib.Format.formatter -> 'a -> unit ) ->
  ?pplastelem:( Stdlib.Format.formatter -> 'a -> unit ) ->
  string ->
  Stdlib.Format.formatter ->
  'a list ->
  unit

val pp_int : Stdlib.Format.formatter -> int -> unit

val pp_string : Stdlib.Format.formatter -> string -> unit

val pp_pair : 
  ( Stdlib.Format.formatter -> 'a -> unit ) ->
  ( Stdlib.Format.formatter -> 'b -> unit ) ->
  Stdlib.Format.formatter ->
  ('a * 'b) ->
  unit

val show_pair : 
  ( Stdlib.Format.formatter -> 'a -> unit ) ->
  ( Stdlib.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 ->
  ( Stdlib.Format.formatter -> 'a -> unit ) ->
  unit

val pp_spaghetti : 
  'a spaghetti_printer ->
  Stdlib.Format.formatter ->
  'a ->
  unit

val show_spaghetti : 'a spaghetti_printer -> 'a -> string

val pp_spaghetti_any : 
  (UUID.t * Stdlib.Obj.t) spaghetti_printer ->
  id:UUID.t ->
  Stdlib.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

val warn : ?loc:Loc.t -> string -> unit

val printf : ( 'a, Stdlib.Format.formatter, unit ) Stdlib.format -> 'a

val eprintf : ( 'a, Stdlib.Format.formatter, unit ) Stdlib.format -> 'a

val set_warn : ( ?loc:Loc.t -> 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 : Stdlib.Format.formatter -> unit

val set_err_formatter : Stdlib.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