package elpi

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

exception TREC_CALL of Obj.t * Obj.t

val enter : string -> (Format.formatter -> unit) -> unit

val print : string -> (Format.formatter -> 'a -> unit) -> 'a -> unit

val exit : string -> bool -> ?e:exn -> float -> unit

val cur_pred : string option -> unit

val log : string -> string -> int -> unit

exception Unknown

val pr_exn : (exn -> string) -> unit

val debug : bool ref

val dverbose : bool ref

val get_cur_step : string -> int

val parse_argv : string list -> string list

val usage : string

val set_formatter : Format.formatter -> unit