Ops.title: def of near-v-framework@0.4.0.0 Import: import near-v-framework@0.4.0.0/domain/architecture/view/ops.bend as Ops Lines 134-145 of near-v-framework@0.4.0.0/domain/architecture/view/ops.bend: https://jend.leeeet.dev/read.txt?path=near-v-framework@0.4.0.0/domain/architecture/view/ops.bend&start_line=134&end_line=145 import Base import near-v-framework@0.4.0.0/general/rose/type.bend as R import near-v-framework@0.4.0.0/domain/architecture/type.bend as A import near-v-framework@0.4.0.0/domain/architecture/ops.bend as O import near-v-framework@0.4.0.0/domain/architecture/view/type.bend as Vw def title(+a: A.Architecture, +rs: List<&2, R.Rose>, v: Vw.View) -> String: match v: case Vw.Context{}: "System context: " ++ ename(element(O.system_key(a), rs)) case Vw.Containers{}: "Containers: " ++ ename(element(O.system_key(a), rs)) case Vw.Components{c}: "Components: " ++ ename(element(c, rs)) case Vw.Deployment{}: "Deployment: " ++ ename(element(O.system_key(a), rs)) case Vw.Dynamic{_}: "Dynamic: " ++ ename(element(O.system_key(a), rs)) Uses (10): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/ops.bend&name=system_key https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/type.bend&name=Architecture https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/type.bend&name=Element https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/view/ops.bend&name=element https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/view/ops.bend&name=ename https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/view/type.bend&name=View https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/general/rose/type.bend&name=Rose