~/jendhub

def digit.value

mylsm-lsm-store@0.6.0.1 · src/coordinator/StatsCodec.bend:41

import mylsm-lsm-store@0.6.0.1/src/coordinator/StatsCodec.bend as StatsCodec
import Base

41def digit.value(scalar: U32) -> Nat:
42  Nat.sub(U32.to_nat(scalar), 48n)

Uses (4)

Used by (5)