Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package elpi
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val term : int -> Format.formatter -> Data.term -> unitIf 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 list :
?max:int ->
?boxed:bool ->
(Format.formatter -> 'a -> unit) ->
?pplastelem:(Format.formatter -> 'a -> unit) ->
string ->
Format.formatter ->
'a list ->
unitmodule Debug : sig ... end