package dedukti

  1. Overview
  2. Docs
type confluence_error =
  1. | NotConfluent of string
  2. | MaybeConfluent of string
  3. | CCFailure of string
val set_cmd : string -> unit
val initialize : unit -> unit
val add_constant : Basic.name -> unit
val add_rules : Rule.rule_infos list -> unit
val check : unit -> (unit, confluence_error) Basic.error
val finalize : unit -> unit