kofre.syntax.ArdtOpsContains
See theArdtOpsContains companion object
Helper trait to state that container C contains lattices of type L. This is used for better type inference
Attributes
- Companion:
- object
- Graph
- Supertypes
- class Objecttrait Matchableclass Any