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