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

join

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

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