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

moveDefsUpward

gapt.proofs.expansion.moveDefsUpward
object moveDefsUpward

Attributes

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

Members list

Value members

Concrete methods

def apply(et: ExpansionTree)(implicit ctx: Context): ExpansionTree

Attributes

Source
positions.scala
def apply(es: ExpansionSequent)(implicit ctx: Context): ExpansionSequent

Attributes

Source
positions.scala
def apply(ep: ExpansionProof)(implicit ctx: Context): ExpansionProof

Attributes

Source
positions.scala
Generated with