Generated with

gapt/gapt/gapt.proofs/gapt.proofs.resolution/ExR

ExR

gapt.proofs.resolution.ExR

See theExR companion class

object ExR extends SkolemQuantResolutionRuleCompanion

Attributes

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

trait Mirror

trait SkolemQuantResolutionRuleCompanion

class Object

trait Matchable

class Any
Show all
Self type: ExR.type

Members list

Type members

Types

Attributes

Source: resolution.scala

Inherited and Abstract 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

In this article

Generated with