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

join

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

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