~/jendhub

def Parse.finish.s

bend-scanner@0.1.0.0 · parse.bend:166

import bend-scanner@0.1.0.0/parse.bend as Parse
import Base

166def Parse.finish.s(
167  s: String, off: Nat
168) -> Result<&2, &2, Parse.Error, Unit>:
169  match s:
170    case SNil{}:
171      Done{Unit{}}
172    case SCon{h, _}:
173      Fail{Extra{off, h}}

Uses (5)

Used by (1)