import { type SingleKeySkiplistOpts } from "https://deno.land/x/willow@0.2.1/mod.universal.ts";
definition: { logicalValueEq: (a: LogicalValue, b: LogicalValue) => boolean; kv: KvDriver; monoid: LiftingMonoid<[LogicalKey, LogicalValue], SummaryData>; }