dedukti

The Dedukti logical framework
IN THIS PACKAGE
Module Confluence
type confluence_error =
| NotConfluent of string
| MaybeConfluent of string
| 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