io.github.iltotore.iron.Implication$
See theImplication companion class Attributes
- Companion:
- class
- Graph
- Supertypes
class Object
trait Matchable
class Any
- Self type
Members list
Concise view
Givens
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
Attributes
- C1
any constraint
- C2
any constraint parent of C1
The "self" implication "C ==> C".
The "self" implication "C ==> C".
Attributes
- C
any constraint.