io.github.iltotore.iron.Implication
See theImplication companion class
Attributes
-
Companion
-
class
-
Source
-
Implication.scala
-
Graph
-
-
Supertypes
-
class Object
trait Matchable
class Any
-
Self type
-
Members list
If C1 is a subtype of C2 then C1 implies C2. Used for union constraint C1 ==> C1 | C2
If C1 is a subtype of C2 then C1 implies C2. Used for union constraint C1 ==> C1 | C2
Type parameters
-
C1
-
any constraint
-
C2
-
any constraint parent of C1
Attributes
-
Source
-
Implication.scala
The "self" implication "C ==> C".
The "self" implication "C ==> C".
Type parameters
-
C
-
any constraint.
Attributes
-
Source
-
Implication.scala