def identities_known

near-architecture@0.9.1.0 · arc.bend:808

import Base

808# Every identity actually in use (from a snapshot) is one of the agreement's people.
809def identities_known(ids: List<&2, String>, a: Agreement) -> Bool:
810  match a:
811    case Agreement{_, people, _, _}:
812      identities_known.go(ids, people)