import Type, { type Static } from "typebox";
export declare const CoreYamlPremiseMetadataSchema: Type.TObject<{
    title: Type.TOptional<Type.TString>;
}>;
export type TCoreYamlPremiseMetadata = Static<typeof CoreYamlPremiseMetadataSchema>;
export declare const CoreYamlPremiseSchema: Type.TObject<{
    metadata: Type.TOptional<Type.TObject<{
        title: Type.TOptional<Type.TString>;
    }>>;
    role: Type.TOptional<Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>>;
    /** Required for freeform premises; omit for derivation premises. */
    formula: Type.TOptional<Type.TString>;
    /**
     * Premise type. Defaults to `"freeform"` when omitted.
     * Use `"derivation"` together with `derivedClaimId` to declare a
     * derivation premise; `formula` must be omitted in that case.
     */
    type: Type.TOptional<Type.TUnion<[Type.TLiteral<"freeform">, Type.TLiteral<"derivation">]>>;
    /**
     * Required when `type` is `"derivation"`. Must match the `id` of a claim
     * declared in the top-level `claims` array.
     */
    derivedClaimId: Type.TOptional<Type.TString>;
}>;
export type TCoreYamlPremise = Static<typeof CoreYamlPremiseSchema>;
/** A claim declared inline at the top level of a YAML argument file. */
export declare const CoreYamlClaimSchema: Type.TObject<{
    id: Type.TString;
    type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">, Type.TLiteral<"axiomatic">]>;
    title: Type.TOptional<Type.TString>;
}>;
export type TCoreYamlClaim = Static<typeof CoreYamlClaimSchema>;
export declare const CoreYamlArgumentMetadataSchema: Type.TObject<{
    title: Type.TString;
    description: Type.TOptional<Type.TString>;
}>;
export type TCoreYamlArgumentMetadata = Static<typeof CoreYamlArgumentMetadataSchema>;
export declare const CoreYamlArgumentSchema: Type.TObject<{
    metadata: Type.TObject<{
        title: Type.TString;
        description: Type.TOptional<Type.TString>;
    }>;
    /** Optional inline claim declarations. Required when any premise uses `type: "derivation"`. */
    claims: Type.TOptional<Type.TArray<Type.TObject<{
        id: Type.TString;
        type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">, Type.TLiteral<"axiomatic">]>;
        title: Type.TOptional<Type.TString>;
    }>>>;
    premises: Type.TArray<Type.TObject<{
        metadata: Type.TOptional<Type.TObject<{
            title: Type.TOptional<Type.TString>;
        }>>;
        role: Type.TOptional<Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>>;
        /** Required for freeform premises; omit for derivation premises. */
        formula: Type.TOptional<Type.TString>;
        /**
         * Premise type. Defaults to `"freeform"` when omitted.
         * Use `"derivation"` together with `derivedClaimId` to declare a
         * derivation premise; `formula` must be omitted in that case.
         */
        type: Type.TOptional<Type.TUnion<[Type.TLiteral<"freeform">, Type.TLiteral<"derivation">]>>;
        /**
         * Required when `type` is `"derivation"`. Must match the `id` of a claim
         * declared in the top-level `claims` array.
         */
        derivedClaimId: Type.TOptional<Type.TString>;
    }>>;
}>;
export type TCoreYamlArgument = Static<typeof CoreYamlArgumentSchema>;
//# sourceMappingURL=import.d.ts.map