ArdtOpsContains

kofre.syntax.ArdtOpsContains
See theArdtOpsContains companion object
trait ArdtOpsContains[C, L]

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 Object
trait Matchable
class Any

Members list

Concise view