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

integrity

abstract override fun integrity(): AtomicLabelTerm
Content copied to clipboard

Term that corresponds to performing Label.integrity.