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

import gapt.expr.App
import gapt.expr.Const
import gapt.expr.ty.Ti

trait FOLFunctionConst extends Const with FOLPartialTerm {
  def apply(that: FOLTerm*)(implicit dummyImplicit: DummyImplicit): FOLTerm = App(this, that).asInstanceOf[FOLTerm]
}

object FOLFunctionConst extends FOLHead(Ti) {
  override def apply(sym: String, arity: Int): FOLFunctionConst =
    super.apply(sym, arity).asInstanceOf[FOLFunctionConst]
}