Interface Predicates<T>

interface Predicates<T> {
    above(this: Predicates<number>, n: number): Claim;
    below(this: Predicates<number>, n: number): Claim;
    equal(v: T): Claim;
    false(this: Predicates<boolean>): Claim;
    following(
        this: Predicates<number>,
        other: Read<number>,
        tol?: number,
    ): Claim;
    in(this: Predicates<number>, range: readonly [number, number]): Claim;
    inside(this: Predicates<V>, region: Box): Claim;
    isEqual(other: Read<T>): Claim;
    near(this: Predicates<number>, n: number, tol?: number): Claim;
    satisfies(fn: (v: T) => boolean, label?: string): Claim;
    true(this: Predicates<boolean>): Claim;
}