package dedukti

  1. Overview
  2. Docs

Module Kernel.ConfluenceSource

Confluence checker

Sourceval d_confluence : Basic.Debug.flag
Sourcetype confluence_error =
  1. | NotConfluent of string
  2. | MaybeConfluent of string
  3. | CCFailure of string
Sourceexception Confluence_error of confluence_error
Sourceval set_cmd : string -> unit
Sourceval initialize : unit -> unit
Sourceval add_constant : Basic.name -> unit
Sourceval add_rules : Rule.rule_infos list -> unit
Sourceval check : unit -> unit

Runs confluence checker. May raise Confluence Error.

Sourceval finalize : unit -> unit