def nums.cons

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

import Base

503def nums.cons(value: Nat, rest: Maybe<&2, List<&2, Nat>>) -> Maybe<&2, List<&2, Nat>>:
504  match rest:
505    case None{}:
506      None{}
507    case Some{ns}:
508      Some{value <> ns}