type PhScan

cli@0.2.0.0 · cli.bend:1241

import Base

1241# PhOK's name is reversed: only a positional's name is read.
1242type PhScan is Data:
1243  PhOK{rev: String, rest: String, next: Nat}
1244  PhBad{col: Nat}