Variable FormulaCompilationOutputSchemaConst

FormulaCompilationOutputSchema: TObject<
    {
        conclusionPremiseMiniId: TUnion<[TString, TNull]>;
        derivationBacking: TArray<
            TObject<
                {
                    derivedClaimMiniId: TString;
                    supportingClaimMiniIds: TArray<TString>;
                },
            >,
        >;
        premises: TArray<
            TObject<
                {
                    formula: TString;
                    premiseMiniId: TString;
                    roleHint: TUnion<[TLiteral<"freeform">, TLiteral<"conclusion">]>;
                    sourceRelationId: TUnion<[TString, TNull]>;
                },
            >,
        >;
    },
> = ...