~/jendhub

def read_at.nat.clone.triple

mylsm-lsm-store@0.6.0.1 · src/Fs.bend:206

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

206def read_at.nat.clone.triple(+value: Nat) -> Nat & Nat & Nat:
207  (Nat.mul(1n, value), Nat.mul(1n, value), Nat.mul(1n, value))

Uses (4)

Used by (2)