~/jendhub

def clone.nat

mylsm-lsm-store@0.6.0.1 · src/scan/VisibleStats.bend:57

import mylsm-lsm-store@0.6.0.1/src/scan/VisibleStats.bend as VisibleStats
import Base

57def clone.nat(+value: Nat) -> Nat & Nat:
58  (Nat.mul(1n, value), Nat.mul(1n, value))

Uses (4)

Used by (1)