import Type, { type Static } from "typebox";
export declare const CoreClaimNormalTypeSchema: Type.TLiteral<"normal">;
export type TCoreClaimNormalType = Static<typeof CoreClaimNormalTypeSchema>;
export declare const CoreClaimCitationTypeSchema: Type.TLiteral<"citation">;
export type TCoreClaimCitationType = Static<typeof CoreClaimCitationTypeSchema>;
export declare const CoreClaimAxiomaticTypeSchema: Type.TLiteral<"axiomatic">;
export type TCoreClaimAxiomaticType = Static<typeof CoreClaimAxiomaticTypeSchema>;
export declare const CoreClaimTypeSchema: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">, Type.TLiteral<"axiomatic">]>;
export type TCoreClaimType = Static<typeof CoreClaimTypeSchema>;
export declare const CoreClaimSchema: Type.TObject<{
    id: Type.TString;
    version: Type.TNumber;
    frozen: Type.TBoolean;
    checksum: Type.TString;
    type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">, Type.TLiteral<"axiomatic">]>;
}>;
export type TCoreClaim = Static<typeof CoreClaimSchema>;
//# sourceMappingURL=claim.d.ts.map