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

swap

abstract fun swap(): AtomicLabelTerm
Content copied to clipboard

The term that corresponds to performing Label.swap.