package dedukti

  1. Overview
  2. Docs
package dedukti
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Basic.DebugSource

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.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct