gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.proofs/gapt.proofs.resolution/SkolemQuantResolutionRuleCompanion

SkolemQuantResolutionRuleCompanion

gapt.proofs.resolution.SkolemQuantResolutionRuleCompanion
trait SkolemQuantResolutionRuleCompanion

Attributes

Source
resolution.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object AllL.type
object ExR.type

Members list

Type members

Types

type R

Attributes

Source
resolution.scala

Value members

Abstract methods

def apply(subProof: ResolutionProof, idx: SequentIndex, skolemTerm: Expr): R

Attributes

Source
resolution.scala
Generated with