Generated with

gapt/gapt/gapt.proofs/gapt.proofs.context/gapt.proofs.context.facet/ProofNames

ProofNames

gapt.proofs.context.facet.ProofNames

See theProofNames companion class

object ProofNames

Attributes

Companion: class
Source: ProofNames.scala
Graph
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: ProofNames.type

Members list

Type members

Inherited types

The names of the product elements

The names of the product elements

Attributes

Inherited from:: Mirror
Source: Mirror.scala

The name of the type

The name of the type

Attributes

Inherited from:: Mirror
Source: Mirror.scala

Implicits

Implicits

Attributes

Source: ProofNames.scala

In this article

Generated with