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

import Base

def require_go(ids: List<&2, String>,
    +items: List<&2, SpecItem>, +fields: List<&2, Field>,
    found: Maybe<&2, ScanFault>) -> Maybe<&2, ScanFault>:
  match ids found:
    case Nil{} Some{fault}: Some{fault}
    case Nil{} None{}: None{}
    case id <> tail Some{fault}: Some{fault}
    case id <> tail None{}:
      require_go(tail, items, fields,
        require_for_id(find_spec_info(items, id, None{}), items, fields))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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=Field
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=ScanFault
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=SpecItem
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=find_spec_info
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=require_for_id