Cli.view_enter: def of cli@0.2.0.0
Import: import cli@0.2.0.0/cli.bend as Cli
Lines 5172-5178 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=5172&end_line=5178

import Base

def view_enter(found: Maybe<&2, Item>, path: String, about: String,
    items: List<&2, Item>, globals: List<&2, Item>, root: Bool) -> View:
  match found:
    case Some{Sub{name, sub_about, children}}:
      View{String.concat([path, " ", name]), sub_about, children,
        List.append(&2, Item, globals, global_items(items)), False{}, False{}}
    case _: View{path, about, items, globals, root, True{}}

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.concat
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Item
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=View
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=global_items