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

import Base

# A placeholder ends at a character no name holds: at close after a name,
# else with an error there.
def ph_stop(at_close: Bool, rev: String, rest: String, +pos: Nat) -> PhScan:
  match at_close rev:
    case True{} SCon{h, t}: PhOK{SCon{h, t}, rest, Nat.add(pos, 1n)}
    case _ _: PhBad{pos}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  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=PhScan