~/jendhub

def m7.go

bend-kit-collections@0.1.4.1 · LAWS.bend:21

import bend-kit-collections@0.1.4.1/LAWS.bend as LAWS
import Base
import bend-kit-collections@0.1.4.1/omap.bend as O

21def m7.go(n: Nat, +i: U32, m: O.OMap<U32, U32>) -> O.OMap<U32, U32>:
22  match n:
23    case 0n:
24      m
25    case 1n+p:
26      m7.go(p, (i + 1 : U32), O.OMap.put(~U32, ~U32, ~U32.cmp, m, i, (i * 10 : U32)))

Uses (7)

Used by (1)