swap

fun swap(): Label

Switch the confidentiality and integrity components.

This is used to enforce robust declassification and transparent endorsement (a.k.a. non-malleable information flow).