import type { HsonSchemaDefinition, HsonSchemaSemanticNode } from "./compiler.js";
export type GeneratedHsonSchemaTypes = Readonly<{
    declarations: string;
    proofNodeCount: number;
}>;
/** Emit bounded declaration-only evidence for one verified human Schema. */
export declare function generate_hson_schema_types(name: string, root: HsonSchemaSemanticNode, definitions?: readonly HsonSchemaDefinition[]): GeneratedHsonSchemaTypes;
//# sourceMappingURL=generate-types.d.ts.map