domain/architecture/LAWS.bend source

domain/architecture/LAWS.bend on the hub · documented module

import Baseimport ../../general/rose/ops.bend as ROimport ./type.bend as Aimport ./ops.bend as O# LAW: an architecture's first key is its system'slaw first_key_is_system:  for +a: A.Architecture  {RO.first(O.keys(a)) == O.system_key(a) : String}