Ops.static_view: 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 213-217 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=213&end_line=217

import Base
import near-v-framework@0.4.0.0/general/compound/ops.bend as CO
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

# Context, containers and components: the view's keys, and the architecture's edges lifted to what shows.
def static_view(+a: A.Architecture, +v: Vw.View) -> String:
  +c = O.to_compound(a)
  +ins = inner(a, v)
  draw(title(a, roots(c), v), ins, boundary(a, v), roots(c), touching(CO.lift(A.Element, c, visible(a, v)), ins))

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/ops.bend&name=to_compound
  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=boundary
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/view/ops.bend&name=draw
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/view/ops.bend&name=inner
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/view/ops.bend&name=roots
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/view/ops.bend&name=title
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/view/ops.bend&name=touching
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/view/ops.bend&name=visible
  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/compound/ops.bend&name=lift