gapt.proofs.gaptic.CanLabelledSequent
See theCanLabelledSequent companion class
object CanLabelledSequent
Attributes
- Companion
- class
- Source
- language.scala
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
CanLabelledSequent.type
Members list
In this article