~/jendhub

def numbers.next

gralha-text-scan@0.1.0.1 · scan.bend:218

import gralha-text-scan@0.1.0.1/scan.bend as Scan
import Base

218def numbers.next(num: Number, next: String -> List<&2, F32>) -> List<&2, F32>:
219  Number{x, t, valid} = num
220  choose(Unit -> List<&2, F32>, valid, _ => Con{x, next(t)}, _ => Nil{})(Unit{})

Uses (6)

Used by (1)