import { int } from "./primitives.js";
import { Equality, Hash, Order, Relation, Thing } from "./things.js";
export declare function arrayIs<E>(thing: Thing<E>, A: E[]): boolean;
export declare function arrayEqual<E>(eq: Equality<E>, A: E[], B: E[]): boolean;
export declare function arrayHash<E>(hash: Hash<E>, A: E[]): int;
export declare function arrayCompare<E>(order: Order<E>, A: E[], B: E[]): Relation;
export declare function arrayCompareLexicographicallyZ<E>(order: Order<E>, zero: E, X: E[], Y: E[]): Relation;
export declare function arrayCompareLexicographically<E>(order: Order<E>, X: E[], Y: E[]): Relation;
export declare function ArrayEquality<E>(thing: Equality<E>): Equality<E[]>;
export declare function ArrayHash<E>(thing: Hash<E>): Hash<E[]>;
export declare function ArrayOrder<E>(thing: Order<E>): Order<E[]>;
export declare function ArrayOrderAndHash<E>(thing: Order<E> & Hash<E>, display?: (value: E[]) => string): Order<E[]> & Hash<E[]>;