Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package dedukti
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val snf : Signature.t -> Term.term -> Term.termval whnf : Signature.t -> Term.term -> Term.termval are_convertible : Signature.t -> Term.term -> Term.term -> boolval constraint_convertibility :
Rule.constr ->
Rule.rule_name ->
Signature.t ->
Term.term ->
Term.term ->
bool