Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package dedukti
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val d_warn : flagval d_notice : flagval register_flag : string -> flagregister_flag msg generates a new flag with error message msg
val new_flag : bool -> string -> flagSame as register flag, but with a bool enbling the flag by default
val enable_flag : flag -> unitActivates error messages associated to a flag
val disable_flag : flag -> unitDesactivates error messages associated to a flag
val debug :
flag ->
('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 ->
'adebug f prints information on the standard error channel if the given flag f is currently active.
val debug_eval : flag -> (unit -> unit) -> unitdebug_eval f (fun () -> body evaluates body if the given flag f is currently active.