import { nat } from "./primitives.js";
/** An immutable list. */
export declare class List<V> implements Iterable<V> {
    #private;
    private constructor();
    static empty: List<any>;
    static is(value: any): value is List<unknown>;
    static from<V>(...values: V[]): List<V>;
    get isEmpty(): boolean;
    get head(): V | undefined;
    get tail(): List<V> | undefined;
    get(index: nat): V;
    get length(): number;
    cons(head: V): List<V>;
    [Symbol.iterator](): Iterator<V>;
    toString(): string;
}