Variable ParsedArgumentSchemaConst

ParsedArgumentSchema: TObject<
    {
        claims: TArray<
            TObject<
                {
                    miniId: TString;
                    role: TUnion<
                        [
                            TLiteral<"premise">,
                            TLiteral<"conclusion">,
                            TLiteral<"intermediate">,
                        ],
                    >;
                    type: TUnion<
                        [TLiteral<"normal">, TLiteral<"citation">, TLiteral<"axiomatic">],
                    >;
                },
            >,
        >;
        conclusionPremiseMiniId: TString;
        premises: TArray<TObject<{ formula: TString; miniId: TString }>>;
        variables: TArray<
            TObject<{ claimMiniId: TString; miniId: TString; symbol: TString }>,
        >;
    },
> = ...