gapt
2.19.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.examples/gapt.examples.nd/weakeningRightWithWrongFocus

weakeningRightWithWrongFocus

gapt.examples.nd.weakeningRightWithWrongFocus
object weakeningRightWithWrongFocus extends Script

Attributes

Source
lk_to_nd_examples.scala
Graph
Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type

Members list

Value members

Inherited methods

final protected def args: Array[String]

Attributes

Inherited from:
App
final def main(args: Array[String]): Unit

Attributes

Inherited from:
App
def run(): Unit

Attributes

Inherited from:
Script
Source
package.scala

Deprecated and Inherited methods

override def delayedInit(body: => Unit): Unit

Attributes

Deprecated
[Since version 2.11.0] the delayedInit mechanism will disappear
Definition Classes
Inherited from:
App

Concrete fields

val focus: Suc

Attributes

Source
lk_to_nd_examples.scala
val lk: LKProof

Attributes

Source
lk_to_nd_examples.scala
val nd: NDProof

Attributes

Source
lk_to_nd_examples.scala
Generated with