~/jendhub

def entries.clone.push

mylsm-lsm-store@0.6.0.1 · src/ByteMemTable.bend:160

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

160# Prepends cloned heads to the corresponding entry lists.
161def entries.clone.push(
162  head: Entry & Entry,
163  tail: List<&1, Entry> & List<&1, Entry>
164) -> List<&1, Entry> & List<&1, Entry>:
165  match head:
166    case (left, right):
167      match tail:
168        case (left_tail, right_tail):
169          (Con{left, left_tail}, Con{right, right_tail})

Uses (4)

Used by (1)