def entries.clone.push

mylsm-lsm-store@0.6.0.1 · src/ByteSstFile.bend:124

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

124# Prepends two cloned entries to their matching ordered lists.
125def entries.clone.push(
126  head: ByteMemTable.Entry & ByteMemTable.Entry,
127  tail: List<&1, ByteMemTable.Entry> & List<&1, ByteMemTable.Entry>
128) -> List<&1, ByteMemTable.Entry> & List<&1, ByteMemTable.Entry>:
129  match head:
130    case (first, second):
131      match tail:
132        case (first_tail, second_tail):
133          (Con{first, first_tail}, Con{second, second_tail})