def nums.of

ezx@1.11.0.0 · src/git/git.bend:517

import Base

517def nums.of(ps: List<&2, String>) -> Maybe<&2, List<&2, Nat>>:
518  match ps:
519    case Nil{}:
520      Some{[]}
521    case Con{+h, t}:
522      nums.put(digits(h), h, nums.of(t))