/**
 * The slice of `@elaraai/east` the type-diff rewrite needs: the diff/render
 * entry points plus the type constructors the reifier builds with (so the
 * resulting types are interned and carry type ids, which `diffTypes` relies on).
 */
export interface EastModule {
    diffTypes(actual: unknown, expected: unknown, options?: {
        maxDiffs?: number;
    }): unknown[];
    renderTypeDiff(diffs: readonly unknown[], options?: {
        maxShown?: number;
        maxDepth?: number;
        maxMembers?: number;
    }): string;
    NeverType: unknown;
    NullType: unknown;
    BooleanType: unknown;
    IntegerType: unknown;
    FloatType: unknown;
    StringType: unknown;
    DateTimeType: unknown;
    BlobType: unknown;
    RefType(value: unknown): unknown;
    ArrayType(value: unknown): unknown;
    SetType(key: unknown): unknown;
    DictType(key: unknown, value: unknown): unknown;
    VectorType(element: unknown): unknown;
    MatrixType(element: unknown): unknown;
    StructType(fields: Record<string, unknown>): unknown;
    VariantType(cases: Record<string, unknown>): unknown;
    FunctionType(inputs: unknown[], output: unknown): unknown;
    AsyncFunctionType(inputs: unknown[], output: unknown): unknown;
    RecursiveType(f: (self: unknown) => unknown): unknown;
    /** Least upper bound of two types; throws when none exists. */
    TypeUnion(t1: unknown, t2: unknown): unknown;
}
/**
 * Resolve the *project's* own `@elaraai/east` from `projectDir`, mirroring how
 * the service loads the project's `typescript`. Synchronous `require` is tried
 * first (Node >= 22.12 can require ESM); if that fails a background dynamic
 * import fills the cache so a later diagnose picks it up. Returns `undefined`
 * while unavailable — callers simply skip the rewrite.
 */
export declare function getEastModule(projectDir: string): EastModule | undefined;
//# sourceMappingURL=east-module.d.ts.map