public interface WritersToReadersLabel extends Label
Modifier and Type | Method and Description |
---|---|
Label |
label()
The nested label.
|
Label |
transform(LabelEnv env)
Apply this operator to the nested label.
|
componentString, componentString, confProjection, copy, description, hasVariableComponents, hasVariables, hasWritersToReaders, integProjection, isBottom, isComparable, isCovariant, isDisambiguated, isEnumerable, isInvariant, isRuntimeRepresentable, isTop, labelCheck, leq_, normalize, setDescription, simplify, subst, throwTypes, toJava, toString, toString, variableComponents, variables
toJava
isCanonical, typeSystem