Type Alias TInvariantViolationEntityType

TInvariantViolationEntityType:
    | "expression"
    | "variable"
    | "premise"
    | "argument"
    | "claim"
    | "citation"
    | "axiom"
    | "fork"
    | "forkRecord"