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

Label

fun Label(confidentialityComponent: FreeDistributiveLattice<Principal>, integrityComponent: FreeDistributiveLattice<Principal>)
Content copied to clipboard