elpi

ELPI - Embeddable λProlog Interpreter
IN THIS PACKAGE
Module 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 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
val for_all3b3 : argsdepth:int -> ( argsdepth:int -> matching:bool -> 'x -> 'y -> 'z -> 'a -> 'a -> bool ) -> 'x -> 'y -> 'z -> 'a list -> 'a list -> bool 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 : ( 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
val warn : ?loc:Loc.t -> string -> unit
val printf : ( 'a, Format.formatter, unit ) format -> 'a
val eprintf : ( 'a, Format.formatter, unit ) 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 : 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