dedukti

The Dedukti logical framework
IN THIS PACKAGE
Module Subst
exception UnshiftExn
val shift : int -> Term.term -> Term.term
val unshift : int -> Term.term -> Term.term
val subst : Term.term -> Term.term -> Term.term
val subst_n : int -> Basic.ident -> Term.term -> Term.term
module Subst : sig ... end