VisibleStats.clone.fields: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/scan/VisibleStats.bend as VisibleStats
Lines 60-68 of mylsm-lsm-store@0.6.0.1/src/scan/VisibleStats.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/VisibleStats.bend&start_line=60&end_line=68

import Base

def clone.fields(
  entries: Nat & Nat,
  payload_bytes: Nat & Nat
) -> Stats & Stats:
  match entries:
    case (entries_left, entries_right):
      match payload_bytes:
        case (payload_left, payload_right):
          (Stats{entries_left, payload_left}, Stats{entries_right, payload_right})

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=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/VisibleStats.bend&name=Stats