type NameScan
import cli@0.2.0.0/cli.bend as Cliimport Base
1237type NameScan is Data:
1238 NameOK{name: String, rest: String, next: Nat}
1239 NameBad{col: Nat}
import cli@0.2.0.0/cli.bend as Cliimport Base
1237type NameScan is Data:
1238 NameOK{name: String, rest: String, next: Nat}
1239 NameBad{col: Nat}