gapt.expr.formula.NonLogicalConstant.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.formula

import gapt.expr.Const
import gapt.expr.formula.constants.LogicalConstant
import gapt.expr.ty.Ty

object NonLogicalConstant {
  def unapply(c: Const): Option[(String, Ty, List[Ty])] = c match {
    case _: LogicalConstant => None
    case Const(n, t, ps)    => Some((n, t, ps))
  }
}