Marker added to a def to indicate inclusive subtyping. Defs without the mixin tag have a default assumption of exclusive subtyping.
def |
Create a new definition bound to the given symbol |
---|---|
mixin |
Marker added to a def to indicate inclusive subtyping |
marker |
Marker labels a dict with typing information |
---|---|
mixin |
Marker added to a def to indicate inclusive subtyping |