ByteBlockBuilder.nat.clone.pair: def of mylsm-lsm-store@0.6.0.1 Import: import mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockBuilder.bend as ByteBlockBuilder Lines 9-10 of mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockBuilder.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockBuilder.bend&start_line=9&end_line=10 import Base def nat.clone.pair(+value: Nat) -> Nat & Nat: (Nat.mul(1n, value), Nat.mul(1n, value)) Uses (4): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.mul https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma