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 constraints : Format.formatter -> Data.constraints -> unitval list :
?max:int ->
?boxed:bool ->
(Format.formatter -> 'a -> unit) ->
?pplastelem:(Format.formatter -> 'a -> unit) ->
string ->
Format.formatter ->
'a list ->
unitmodule Debug : sig ... end