elpi

ELPI - Embeddable λProlog Interpreter
Library elpi
Module Elpi . API . RawPp
val term : int -> Format.formatter -> Data.term -> unit

If the term is under depth binders this is the function that has to be * called in order to print the term correct. WARNING: as of today printing * an open term (i.e. containing unification variables) in the *wrong* depth * can cause the pruning of the unification variable. * This behavior shall be cleaned up in the future

val constraints : Format.formatter -> Data.constraints -> unit
val list : ?max:int -> ?boxed:bool -> ( Format.formatter -> 'a -> unit ) -> ?pplastelem:( Format.formatter -> 'a -> unit ) -> string -> Format.formatter -> 'a list -> unit
module Debug : sig ... end