package dedukti

You can search for identifiers within the package.

in-package search v0.2.0

An implementation of The Lambda-Pi Modulo Theory

Install

sha512=97171b48dd96043d84587581d72edb442f63e7b5ac1695771aa1c3c9074739e15bc7d17678fedb7062acbf403a0bf323d97485c31b92376b80c63b5c2300ee3c

sha256=5e1b6a859dfa1eb2098947a99c7d11ee450f750d96da1720f4834e1505d1096c

Sourcetype flag

Sourceval d_warn : flag

Sourceval d_notice : flag

Sourceval register_flag : string -> flag

register_flag msg generates a new flag with error message msg

Sourceval new_flag : bool -> string -> flag

Same as register flag, but with a bool enbling the flag by default

Sourceval enable_flag : flag -> unit

Activates error messages associated to a flag

Sourceval disable_flag : flag -> unit

Desactivates error messages associated to a flag

Sourceval 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.

Sourceval debug_eval : flag -> (unit -> unit) -> unit

debug_eval f (fun () -> body evaluates body if the given flag f is currently active.