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

import Base

def scan_settle_case(resting: Bool, issue: Maybe<&2, ScanFault>,
    scope: Scope, events: List<&2, ScanEvent>, positional_count: Nat,
    external: Maybe<&2, ExternalArgs>) -> Mode:
  match resting issue:
    case True{} None{}:
      Operands{ScanState{scope, events, True{}, positional_count, external,
        None{}}, False{}}
    case True{} Some{fault}:
      Operands{ScanState{scope, events, True{}, positional_count, external,
        Some{fault}}, False{}}
    case False{} None{}:
      Open{ScanState{scope, events, False{}, positional_count, external,
        None{}}}
    case False{} Some{fault}:
      Closed{Faulted{ScanState{scope, events, False{}, positional_count,
        external, Some{fault}}}}

Uses (11):
  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=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=ExternalArgs
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Mode
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=ScanEvent
  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=ScanState
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Scope
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Tail