~/jendhub

def nums.put

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

import ezx@1.11.0.0/src/git/git.bend as Git
import Base

510def nums.put(ok: Bool, +part: String, rest: Maybe<&2, List<&2, Nat>>) -> Maybe<&2, List<&2, Nat>>:
511  match ok:
512    case False{}:
513      None{}
514    case True{}:
515      nums.cons(num.go(part, 0n), rest)

Uses (7)

Used by (1)