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

and

open infix override fun and(that: Label): Label
Content copied to clipboard

The least powerful principal that can act for both this and that. This denotes a conjunction of authority.