Generated with

gapt-examples/gapt.examples/gapt.examples.theories/Theory

Theory

gapt.examples.theories.Theory

See theTheory companion class

object Theory

Attributes

Companion: class
Graph
Supertypes: class Object

trait Matchable

class Any
Self type: Theory.type

Members list

Type members

Classlikes

Attributes

Companion: object
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: DelayedProofResult.type

Value members

Concrete methods

In this article

Generated with