def read_at.nat.clone

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

import Base

203def read_at.nat.clone(+value: Nat) -> Nat & Nat:
204  (Nat.mul(1n, value), Nat.mul(1n, value))

Uses (4)