gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.proofs/gapt.proofs.expansion/ETTop

ETTop

gapt.proofs.expansion.ETTop
object ETTop

Expansion tree for ⊤.

Attributes

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

Members list

Value members

Inherited methods

def apply(polarity: Polarity): ExpansionTree

Attributes

Inherited from:
ETNullaryCompanion (hidden)
Source
trees.scala
def unapply(et: ExpansionTree): Option[Polarity]

Attributes

Inherited from:
ETNullaryCompanion (hidden)
Source
trees.scala
Generated with