def nat.clone.pair

mylsm-lsm-store@0.6.0.1 · src/scan/ByteBlockBuilder.bend:9

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

9def nat.clone.pair(+value: Nat) -> Nat & Nat:
10  (Nat.mul(1n, value), Nat.mul(1n, value))

Uses (4)

Used by (2)