Type Alias TCoreValidationCode

TCoreValidationCode:
    | "ARGUMENT_NO_CONCLUSION"
    | "ARGUMENT_CONCLUSION_NOT_FOUND"
    | "ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH"
    | "ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS"
    | "PREMISE_EMPTY"
    | "PREMISE_ROOT_MISSING"
    | "PREMISE_ROOT_MISMATCH"
    | "EXPR_CHILD_COUNT_INVALID"
    | "EXPR_BINARY_POSITIONS_INVALID"
    | "EXPR_VARIABLE_UNDECLARED"
    | "ASSIGNMENT_MISSING_VARIABLE"
    | "ASSIGNMENT_UNKNOWN_VARIABLE"
    | "SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE"
    | "SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE"
    | "SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION"
    | "SOURCE_ORPHANED"
    | "EXPR_BOUND_PREMISE_EMPTY"
    | "DERIVATION_STRUCTURE_INVALID_AT_EVALUATION"