compiler/io.github.aplcornell.viaduct.security/TrustLattice/and

and

abstract infix fun and(that: T): T

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