def people_in_domain

near-v-framework@0.4.0.0 · domain/architecture/environment/agreement/ops.bend:31

import near-v-framework@0.4.0.0/domain/architecture/environment/agreement/ops.bend as Ops
import Base
import near-v-framework@0.4.0.0/domain/architecture/environment/agreement/type.bend as G

31# Every person's identity is in the organization's directory domain.
32def people_in_domain(a: G.Agreement) -> Bool:
33  List.is_empty(&2, String, outside_domain(a))

Uses (5)

Used by (0)

No other definition uses this definition.