Snapshot.snapshot.list.cursor.restore: def of mylsm-lsm-store@0.6.0.1 Import: import mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend as Snapshot Lines 640-647 of mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&start_line=640&end_line=647 import Base def snapshot.list.cursor.restore( prefix: List<&2, SnapshotResource>, snapshots: List<&2, SnapshotResource> ) -> List<&2, SnapshotResource>: match prefix: case Nil{}: snapshots case Con{resource, tail}: snapshot.list.cursor.restore(tail, Con{resource, snapshots}) Uses (2): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=SnapshotResource