compiler/edu.cornell.cs.apl.viaduct.security.solver/LabelConstant/join

join

open override fun join(that: Label): LabelConstant
Content copied to clipboard

The term that corresponds to the Label.join of this and that.