gapt.expr.subst.ExprSubstitutable3.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of gapt_3 Show documentation

General Architecture for Proof Theory

The newest version!

package gapt.expr.subst

import gapt.expr.ClosedUnderSub
import gapt.expr.Const

trait ExprSubstitutable3 extends ExprSubstitutable2 {
  implicit val ConstClosedUnderSub: ClosedUnderSub[Const] =
    (sub, x) => applySub(sub, x).asInstanceOf[Const]
}