Variable ParsedClaimSchemaConst

ParsedClaimSchema: TObject<
    {
        miniId: TString;
        role: TUnion<
            [
                TLiteral<"premise">,
                TLiteral<"conclusion">,
                TLiteral<"intermediate">,
            ],
        >;
        type: TUnion<
            [TLiteral<"normal">, TLiteral<"citation">, TLiteral<"axiomatic">],
        >;
    },
> = ...