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

or

abstract infix fun or(that: T): T

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