compiler/edu.cornell.cs.apl.viaduct.security/Label/integrityComponent

integrityComponent

val integrityComponent: FreeDistributiveLattice<Principal>
Content copied to clipboard

The integrity component in the underlying lattice.

Unlike integrity, the result is not a Label.