import * as P from "@principia/prelude";
import * as HKT from "@principia/prelude/HKT";
import type { Ord } from "@principia/prelude/Ord";
import type { URI, V } from "./model";
/**
 * @category Witherable
 * @since 1.0.0
 */
export declare const getWitherable: <K>(O: Ord<K>) => P.WitherableWithIndex<["Map"], HKT.Auto & HKT.Fix<"K", K>>;
//# sourceMappingURL=witherable.d.ts.map