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

import Base

# Prepends cloned heads to the corresponding entry lists.
def entries.clone.push(
  head: Entry & Entry,
  tail: List<&1, Entry> & List<&1, Entry>
) -> List<&1, Entry> & List<&1, Entry>:
  match head:
    case (left, right):
      match tail:
        case (left_tail, right_tail):
          (Con{left, left_tail}, Con{right, right_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