module Debug:
Parameters: |
|
val debug : string -> unit
debug
prints the string and end it with a newlineval debug_exception : string -> exn -> unit
val time : ('a -> 'b) ->
'a -> (float -> unit, Pervasives.out_channel, unit) Pervasives.format -> 'b
time
computes the time spent in a function, and then
print it using the given formatval pr_constr : string -> Term.constr -> unit
pr_constr
print a Coq constructor, that can be labelled
by a string