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 red_strategy =

| Hnf
| Snf
| Whnf

type red_cfg = {

select : (Rule.rule_name -> bool) option;
nb_steps : int option;
strategy : red_strategy;
beta : bool;

}

val pp_red_cfg : red_cfg Basic.printer

val default_cfg : red_cfg

val reduction : red_cfg -> Signature.t -> Term.term -> Term.term

val are_convertible : Signature.t -> Term.term -> Term.term -> bool