gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.expr/gapt.expr.formula/gapt.expr.formula.hol/HOLFunction

HOLFunction

gapt.expr.formula.hol.HOLFunction
object HOLFunction

Attributes

Source
HOLFunction.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def apply(head: Expr, args: List[Expr]): Expr

Attributes

Source
HOLFunction.scala
def unapply(e: Expr): Option[(Expr, List[Expr])]

Attributes

Source
HOLFunction.scala
Generated with