package elpi

  1. Overview
  2. Docs
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