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