Functor Helper.Debug

module Debug: 
functor (X : CONTROL) -> sig .. end
Parameters:
X : CONTROL

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