dedukti

The Dedukti logical framework
IN THIS PACKAGE
Module Matching
exception NotUnifiable
val solve : int -> int Basic.LList.t -> Term.term -> Term.term