TrustLattice

A lattice whose elements are interpreted as principals.

Functions

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.

abstract infix fun or(that: T): T

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