import { KNativePointer, ArktsObject } from "../../src/reexport-for-generated";
export declare class AstVerifier extends ArktsObject {
    constructor(pointer: KNativePointer);
    protected readonly brandAstVerifier: undefined;
}
