Type Alias TParserWarningCode

TParserWarningCode:
    | "UNRESOLVED_CLAIM_MINIID"
    | "UNRESOLVED_CONCLUSION_MINIID"
    | "UNDECLARED_VARIABLE_SYMBOL"
    | "FORMULA_PARSE_ERROR"
    | "FORMULA_STRUCTURE_ERROR"
    | "CITATION_EDGE_REJECTED"
    | "AXIOM_EDGE_REJECTED"