You can search for identifiers within the package.
in-package search v0.2.0
dedukti.kernel
Basic.Debug
type flag
val d_warn : flag
val d_notice : flag
val register_flag : string -> flag
register_flag msg generates a new flag with error message msg
register_flag msg
msg
val new_flag : bool -> string -> flag
Same as register flag, but with a bool enbling the flag by default
val enable_flag : flag -> unit
Activates error messages associated to a flag
val disable_flag : flag -> unit
Desactivates error messages associated to a flag
val debug : flag -> ('a, Format.formatter, unit, unit) format4 -> 'a
debug f prints information on the standard error channel if the given flag f is currently active.
debug f
f
val debug_eval : flag -> (unit -> unit) -> unit
debug_eval f (fun () -> body evaluates body if the given flag f is currently active.
debug_eval f (fun () -> body
body