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

swap

open override fun swap(): LabelConstant
Content copied to clipboard

The term that corresponds to performing Label.swap.