package dedukti

You can search for identifiers within the package.

in-package search v0.2.0

package dedukti

dedukti.kernel
- Basic
  - LList
- Confluence
- Dtree
- Entry
- Env
- Errors
- Matching
- Pp
- Reduction
- Rule
- Signature
- Subst
  - Subst
- Term
- Typing
- Version
dedukti.parser
- Parser

Legend:
Library
Module
Module type
Parameter
Class
Class type

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