domain/architecture/PROOF.bend

near-v-framework@0.7.0.0 · 14 lines · 0 definitions

1import Base
2import near-v-framework@0.7.0.0/general/rose/ops.bend as RO
3import near-v-framework@0.7.0.0/domain/architecture/type.bend as A
4import near-v-framework@0.7.0.0/domain/architecture/ops.bend as O
5import near-v-framework@0.7.0.0/domain/architecture/system/type.bend as S
6import near-v-framework@0.7.0.0/domain/architecture/environment/type.bend as En
7import near-v-framework@0.7.0.0/domain/architecture/LAWS.bend as Laws
8
9def Laws.first_key_is_system(a):
10  match a:
11    case A.Architecture{s, env}:
12      match s env:
13        case S.System{k, n, d, cs, ns, r} En.Environment{ps, xs, ks, inv, ag}:
14          {==}