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

import Base

def view_step(view: View, step: String) -> View:
  match view:
    case View{path, about, items, globals, root, True{}}:
      View{path, about, items, globals, root, True{}}
    case View{path, about, +items, globals, root, False{}}:
      view_enter(find_command(items, step, None{}), path, about, items,
        globals, root)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=cli@0.2.0.0/cli.bend&name=View
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=find_command
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=view_enter