gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.proofs/gapt.proofs.expansion/ExpansionTree/checkable

checkable

gapt.proofs.expansion.ExpansionTree.checkable
object checkable extends Checkable[ExpansionTree]

Attributes

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

Members list

Value members

Concrete methods

def check(et: ExpansionTree)(implicit ctx: Context): Unit

Attributes

Source
trees.scala
Generated with