Ops.external_roses: def of near-v-framework@0.4.0.0
Import: import near-v-framework@0.4.0.0/domain/architecture/ops.bend as Ops
Lines 129-136 of near-v-framework@0.4.0.0/domain/architecture/ops.bend: https://jend.leeeet.dev/read.txt?path=near-v-framework@0.4.0.0/domain/architecture/ops.bend&start_line=129&end_line=136

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/environment/external/type.bend as X
import near-v-framework@0.4.0.0/domain/architecture/type.bend as A

def external_roses(xs: List<&2, X.External>) -> List<&2, R.Rose<A.Element>>:
  match xs:
    case []:
      []
    case x <> rest:
      match x:
        case X.External{k, n, d, _, _, _, _, _}:
          R.Rose{k, A.Element{n, d, "", A.ExternalLevel{}}, []} <> external_roses(rest)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/environment/external/type.bend&name=External
  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/type.bend&name=Level
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/general/rose/type.bend&name=Rose