1	# V: data structures for your Bend algorithms.
2	# General purpose: the rose tree and the compound graph. Domain: a software system's architecture, in
3	# its environment, drawn as C4 views and released through a plan.
4	import Base
5	import ./general/rose/PROOF.bend as RoseProof
6	import ./general/compound/ops.bend as Compound
7	import ./domain/architecture/PROOF.bend as ArchitectureProof
8	import ./domain/architecture/system/ops.bend as System
9	import ./domain/architecture/system/effects.bend as SystemEffects
10	import ./domain/architecture/view/effects.bend as ViewEffects