domain/architecture/LAWS.bend open laws/TODOs

raw source on the hub · import 0x240dd78ab0879c4e226cf7dacf530ba1/domain/architecture/LAWS.bend as LAWS

4 imports

import Base
import ../../general/rose/ops.bend as RO
import ./type.bend as A
import ./ops.bend as O

Laws

law first_key_is_system provedin domain/architecture/PROOF.bendsource · line 7 · raw

@+a:0x240dd78ab0879c4e226cf7dacf530ba1/domain/architecture/type.Architecture -> {0x240dd78ab0879c4e226cf7dacf530ba1/general/rose/ops.first(0x240dd78ab0879c4e226cf7dacf530ba1/domain/architecture/ops.keys(a)) == 0x240dd78ab0879c4e226cf7dacf530ba1/domain/architecture/ops.system_key(a) : String}

LAW: an architecture's first key is its system's