ByteSstFile.entries.clone.push: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/ByteSstFile.bend as ByteSstFile
Lines 124-133 of mylsm-lsm-store@0.6.0.1/src/ByteSstFile.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteSstFile.bend&start_line=124&end_line=133

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

# Prepends two cloned entries to their matching ordered lists.
def entries.clone.push(
  head: ByteMemTable.Entry & ByteMemTable.Entry,
  tail: List<&1, ByteMemTable.Entry> & List<&1, ByteMemTable.Entry>
) -> List<&1, ByteMemTable.Entry> & List<&1, ByteMemTable.Entry>:
  match head:
    case (first, second):
      match tail:
        case (first_tail, second_tail):
          (Con{first, first_tail}, Con{second, second_tail})

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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/ByteMemTable.bend&name=Entry