Up – Package index » dedukti » Library dedukti.kernel » Kernel » Matching » Make » R

Parameter `Make.R`

val snf : Signature.t -> Term.term -> Term.term

val whnf : Signature.t -> Term.term -> Term.term

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

val constraint_convertibility : 
  Rule.constr ->
  Rule.rule_name ->
  Signature.t ->
  Term.term ->
  Term.term ->
  bool