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 : Environ.env -> Evd.evar_map -> string -> EConstr.constr -> unit
pr_constr
print a Coq constructor, that can be labelled
by a string