
(* This file was auto-generated based on "parser.messages". *)

(* Please note that the function [message] can raise [Not_found]. *)

let message: int -> Syntax_error.styled_text =
  fun s ->
    match s with
    | 657 | 656 | 632 | 631 | 334 | 333 ->
        "@{<light_red>Ill-formed declaration.@} Expected @{<green>\";\"@} after variable declaration.\n@{<light_yellow>It looks like you are trying to use the old array syntax.\nPlease use the new syntax:@}\nhttps://mc-stan.org/docs/reference-manual/types.html#array-data-types.section\n"
    | 15 | 14 ->
        "@{<light_red>Ill-formed type.@} Expected @{<green>\"[\"@} @{<i>(list of commas)@} @{<green>\"]\"@} in unsized return type of function definition.\n"
    | 226 ->
        "@{<light_red>Ill-formed type.@} Expected expressions for size of array.\n"
    | 19 | 239 | 593 ->
        "@{<light_red>Ill-formed type.@} Expected non-array type after @{<green>\"array\"@} declaration.\n"
    | 104 | 185 ->
        "@{<light_red>Ill-formed expression.@} Expected an expression or comma separated list of expressions followed by @{<green>\")\"@} after @{<green>\"(\"@}.\n"
    | 20 | 3 | 196 | 492 | 23 | 22 | 24 | 32 | 33 | 4 | 25 | 21 | 197 | 493 ->
        "@{<light_red>Ill-formed type.@} Expected a comma separated list of types between @{<green>\"(\"@} and @{<green>\")\"@} to declare tuple variable.\n"
    | 236 | 590 | 233 | 587 | 231 | 585 ->
        "@{<light_red>Ill-formed type.@} Expected either @{<green>\")\"@} or @{<green>\",\"@} followed by\nfurther types and @{<green>\")\"@} to complete tuple.\n"
    | 229 | 249 | 583 | 603 | 245 | 599 ->
        "@{<light_red>Ill-formed type.@} Expected @{<green>\",\"@} followed by further types and @{<green>\")\"@} to complete tuple.\n"
    | 250 | 234 | 588 | 232 | 586 | 230 | 237 | 591 | 584 | 604 | 246 | 600 ->
        "@{<light_red>Ill-formed type.@} Incomplete type specification, expected further types followed by @{<green>\")\"@} to complete tuple.\n"
    | 227 | 13 | 225 ->
        "@{<light_red>Ill-formed type.@} Expected @{<green>\"[\"@} @{<i>array sizes@} @{<green>\"]\"@} followed by type after @{<green>\"array\"@}.\n"
    | 275 ->
        "@{<light_red>Ill-formed statement.@} Expected @{<green>\"{\"@} to begin profile block.\n"
    | 274 ->
        "@{<light_red>Ill-formed statement.@} Expected @{<green>\")\"@} after profile name.\n"
    | 273 | 272 ->
        "@{<light_red>Ill-formed statement.@} Expected profile name as string in parenthesis\n"
    | 677 ->
        "@{<light_red>Ill-formed block.@} Expected @{<green>\"{\"@} after @{<green>\"transformed parameters\"@}.\n"
    | 644 ->
        "@{<light_red>Ill-formed statement.@} Expected @{<green>\"{\"@} after @{<green>\"transformed data\"@}.\n"
    | 96 ->
        "@{<light_red>Ill-formed statement.@} Expected @{<green>\"(\"@} @{<i>expression@} @{<green>\")\"@} @{<i>statement@} after @{<green>\"while\"@}.\n"
    | 190 | 97 ->
        "@{<light_red>Ill-formed expression.@} Expected an expression after @{<green>\"(\"@} for the test of a @{<green>\"while\"@} loop.\n"
    | 191 ->
        "@{<light_red>Ill-formed statement.@} Expected a statement after @{<green>\")\"@} for the body of the @{<green>\"while\"@} loop.\n"
    | 678 | 645 ->
        "@{<light_red>Ill-formed block.@} Expected a statement or top-level variable declaration.\n"
    | 378 ->
        "@{<light_red>Ill-formed assignment statement.@} Expected an expression followed by @{<green>\";\"@} next.\n"
    | 379 ->
        "@{<light_red>Ill-formed assignment statement.@} Expected a @{<green>\";\"@} after the value being assigned.\n"
    | 366 | 363 | 375 | 372 | 360 ->
        "@{<light_red>Ill-formed compound assignment statement.@} Expected an expression followed by @{<green>\";\"@} next.\n"
    | 364 | 367 | 373 | 370 | 376 | 361 ->
        "@{<light_red>Ill-formed compound assignment statement.@} Expected a @{<green>\";\"@} after the value being assigned.\n"
    | 337 | 397 | 342 | 359 ->
        "@{<light_red>Ill-formed phrase.@} Expected a statement, but found a partial value before this point.\nDid you mean for this to be the start of an assignment or @{<green>\"~\"@}-statement?\n"
    | 340 ->
        "@{<light_red>Ill-formed phrase.@} Found a well-formed function application. Expected either a @{<green>\";\"@} or a valid continuation of the expression.\n"
    | 175 | 176 ->
        "@{<light_red>Ill-formed conditional distribution evaluation.@} Expected a comma separated list of expressions followed by @{<green>\")\"@} after @{<green>\"|\"@}.\n"
    | 253 ->
        "@{<light_red>Ill-formed phrase.@} Expected either @{<green>\"+=\"@} @{<i>expression@} or @{<green>\"()\"@} after @{<green>\"target\"@}.\n"
    | 283 | 284 | 285 ->
        "@{<light_red>Ill-formed statement.@} Expected an expression followed by @{<green>\";\"@} after @{<green>\"jacobian +=\"@}.\n"
    | 254 | 255 ->
        "@{<light_red>Ill-formed statement.@} Expected an expression followed by @{<green>\";\"@} after @{<green>\"target +=\"@}.\n"
    | 99 | 98 ->
        "@{<light_red>Ill-formed expression.@} Expected @{<green>\"()\"@} after @{<green>\"target\"@}.\n"
    | 258 | 260 ->
        "@{<light_red>Ill-formed statement.@} Expected @{<green>\";\"@} or expression followed by @{<green>\";\"@} after @{<green>\"return\"@}.\n"
    | 338 | 116 | 339 | 112 | 114 ->
        "@{<light_red>Ill-formed function application.@} Expected a comma separated list of expressions followed by @{<green>\")\"@} after @{<green>\"(\"@}.\n"
    | 106 ->
        "@{<light_red>Ill-formed expression.@} Expected an expression after @{<green>\"{\"@} in array expression.\n"
    | 300 | 299 | 298 | 297 ->
        "@{<light_red>Ill-formed statement.@} Expected a comma separated list of either expressions or strings followed by @{<green>\");\"@} after @{<green>\"fatal_error(\"@}.\n"
    | 262 | 266 | 267 | 263 ->
        "@{<light_red>Ill-formed statement.@} Expected a comma separated list of either expressions or strings followed by @{<green>\");\"@} after @{<green>\"reject(\"@},.\n"
    | 269 | 271 | 270 ->
        "@{<light_red>Ill-formed statement.@} Expected a comma separated list of either expressions or strings, followed by @{<green>\");\"@}.\n"
    | 343 ->
        "@{<light_red>Ill-formed @{<green>\"~\"@}-statement.@} Expected an distribution name after @{<green>\"~\"@}.\n"
    | 344 ->
        "@{<light_red>Ill-formed @{<green>\"~\"@}-statement.@} Expected @{<green>\"(\"@} after distribution name, followed by a comma separated list of expressions for arguments to the distribution, followed by @{<green>\")\"@}.\n"
    | 345 | 346 ->
        "@{<light_red>Ill-formed @{<green>\"~\"@}-statement.@} Expected a comma separated list of expressions for arguments to the distribution, followed by @{<green>\")\"@}.\n"
    | 347 ->
        "@{<light_red>Ill-formed @{<green>\"~\"@}-statement@}. Expected either @{<green>\";\"@} or a truncation with the format @{<green>\"T[\"@} @{<i>optional expression@} @{<green>\",\"@} @{<i>optional expression@} @{<green>\"];\"@}.\n"
    | 351 | 352 | 350 | 348 | 354 | 349 ->
        "@{<light_red>Ill-formed truncation.@} Expected @{<green>\"T[\"@} @{<i>optional expression@} @{<green>\",\"@} @{<i>optional expression@} @{<green>\"];\"@}.\n"
    | 356 ->
        "@{<light_red>Ill-formed statement.@} Expected @{<green>\";\"@} after truncated @{<green>\"~\"@}-statement.\n"
    | 170 | 169 ->
        "@{<light_red>Ill-formed index.@} Expected an expression or @{<green>\"]\"@} or @{<green>\",\"@} after @{<green>\":\"@}.\n"
    | 166 ->
        "@{<light_red>Ill-formed index.@} Expected index after indices followed by @{<green>\",\"@}.\n"
    | 128 ->
        "@{<light_red>Ill-formed expression.@} Expected an expression or @{<green>\"]\"@} or @{<green>\",\"@} after @{<green>\":\"@}.\n"
    | 188 | 189 ->
        "@{<light_red>Ill-formed expression.@} Found an expression. Expected an infix or postfix operator or @{<green>\"[\"@}\n"
    | 129 ->
        "@{<light_red>Ill-formed phrase.@} Found @{<green>\":\"@} @{<i>expression@}. Expected either an infix or postfix operator, or @{<green>\",\"@} or @{<green>\"[\"@} or @{<green>\"]\"@} next.\n"
    | 162 | 147 | 146 ->
        "@{<light_red>Ill-formed expression.@} Found an incomplete ternary expression, should be @{<green>\"(@{<r>@{<f>condition@}@}) ? (@{<r>@{<f>true branch@}@}) : (@{<r>@{<f>false branch@}@})\"@}.\nDid you forget to add a colon or a false branch?\nFor example, this returns @{<b>@{<green>3.0@}@}:\n  @{<green>1 ? 3.0 : 0.0@}\n"
    | 120 | 144 | 132 | 148 | 150 | 134 | 152 | 130 | 118 | 160 | 142 | 140 | 138 | 158 | 156 | 122 | 154 | 369 | 440 | 430 | 136 | 124 ->
        "@{<light_red>Ill-formed expression.@} Found an incomplete binary expression.\nAre you missing the right hand side?\n"
    | 179 | 111 | 174 | 163 | 125 | 139 | 131 | 119 | 159 | 157 | 123 | 137 | 121 | 155 | 153 | 141 | 161 | 145 | 135 | 151 | 149 | 133 | 143 | 126 ->
        "@{<light_red>Ill-formed expression.@} Unexpected input after the conclusion of a valid expression.\nYou may be missing a @{<green>\",\"@} between expressions, an operator, or a terminating @{<green>\"}\"@}, @{<green>\")\"@}, @{<green>\"]\"@}, or @{<green>\";\"@}.\n"
    | 277 ->
        "@{<light_red>Ill-formed statement.@} Expected @{<green>\"(\"@} followed by a comma separated list of expressions or\nstrings followed by @{<green>\");\"@} after @{<green>\"print\"@}.\n"
    | 279 | 278 ->
        "@{<light_red>Ill-formed statement.@} Expected a comma separated list of expressions or\nstrings followed by @{<green>\");\"@} after @{<green>\"print(\"@}.\n"
    | 280 ->
        "@{<light_red>Ill-formed statement.@} Expected a @{<green>\";\"@} after @{<green>\"print(@{<r>@{<f>...@}@})\"@}.\n"
    | 102 ->
        "@{<light_red>Ill-formed expression.@} Expected an expression after @{<green>\"+\"@}.\n"
    | 103 ->
        "@{<light_red>Ill-formed expression.@} Expected an expression after @{<green>\"-\"@}.\n"
    | 186 | 183 ->
        "@{<light_red>Ill-formed phrase.@} Found @{<green>\"(\"@} followed by expression. Expected a @{<green>\"[\"@}, @{<green>\",\"@} or @{<green>\")\"@} or an infix or postfix operator.\n"
    | 105 ->
        "@{<light_red>Ill-formed expression.@} Expected a comma separated list of expressions followed by @{<green>\"]\"@} after @{<green>\"[\"@}.\n"
    | 127 | 168 | 181 ->
        "@{<light_red>Ill-formed expression.@} Expected a comma separated list of expressions, followed by @{<green>\"]\"@}.\n"
    | 172 ->
        "@{<light_red>Ill-formed expression.@} Expected a comma separated list of expressions.\n"
    | 282 ->
        "@{<light_red>Ill-formed block.@} Expected a statement, variable declaration, or just @{<green>\"}\"@} after @{<green>\"{\"@}.\n"
    | 287 | 288 ->
        "@{<light_red>Ill-formed statement.@} Expected @{<green>\"(\"@} @{<i>expression@} @{<green>\")\"@} for the test of the if statement.\n"
    | 289 ->
        "@{<light_red>Ill-formed statement.@} Expected @{<green>\"(\"@} @{<i>expression@} @{<green>\")\"@} for the test of the if statement.\nA valid expression was found, but it was not followed by a closing parenthesis.\n"
    | 391 ->
        "@{<light_red>Ill-formed statement.@} Expected a statement after @{<green>\"else\"@}.\n"
    | 290 ->
        "@{<light_red>Ill-formed statement.@} Expected a statement for the true branch of conditional.\n"
    | 650 | 390 ->
        "@{<light_red>Ill-formed block.@} Expected a statement, variable declaration, or just @{<green>\"}\"@}.\n"
    | 291 ->
        "@{<light_red>Ill-formed statement.@} Expected @{<green>\"(\"@} after @{<green>\"for\"@}.\n"
    | 292 ->
        "@{<light_red>Ill-formed statement.@} Expected (loop) identifier after @{<green>\"(\"@}.\n"
    | 293 ->
        "@{<light_red>Ill-formed statement.@} Expected @{<green>\"in\"@} after loop identifier.\n"
    | 294 | 295 ->
        "@{<light_red>Ill-formed expression.@} Expected an expression followed by @{<green>\")\"@} or @{<green>\":\"@} after @{<green>\"for (\"@} @{<i>identifier@} @{<green>\"in\"@}.\n"
    | 387 | 386 ->
        "@{<light_red>Ill-formed expression.@} Expected an expression followed by @{<green>\")\"@} after @{<green>\"for (\"@} @{<i>identifier@} @{<green>\"in\"@} @{<i>expression@} @{<green>\":\"@}.\n"
    | 296 | 388 ->
        "@{<light_red>Ill-formed statement.@} Expected a statement after @{<green>\")\"@} for the loop body of the @{<green>\"for\"@} loop.\n"
    | 302 ->
        "@{<light_red>Ill-formed statement.@} Expected @{<green>\";\"@} after @{<green>\"continue\"@}.\n"
    | 304 ->
        "@{<light_red>Ill-formed statement.@} Expected @{<green>\";\"@} after @{<green>\"break\"@}.\n"
    | 178 | 110 ->
        "@{<light_red>Ill-formed expression.@} Expected an expression after @{<green>\"!\"@}.\n"
    | 671 ->
        "@{<light_red>Ill-formed block.@} Expected @{<green>\"{\"@} after @{<green>\"parameters\"@}.\n"
    | 672 ->
        "@{<light_red>Ill-formed block.@} Expected top-level variable declaration or @{<green>\"}\"@}.\n"
    | 683 ->
        "@{<light_red>Ill-formed block.@} Expected @{<green>\"{\"@} after @{<green>\"model\"@}.\n"
    | 554 | 556 | 555 | 553 | 212 | 483 | 485 | 484 | 419 | 194 | 211 | 193 | 210 | 192 ->
        "@{<light_red>Ill-formed type.@} Expected @{<green>\"[\"@} @{<i>expression@} @{<green>\"]\"@} for vector size.\n"
    | 276 | 684 | 689 | 393 ->
        "@{<light_red>Ill-formed block.@} Expected variable declaration, statement or @{<green>\"}\"@}.\n"
    | 522 | 520 | 521 | 559 | 561 | 560 | 558 | 216 | 215 | 214 | 523 | 200 | 198 | 199 ->
        "@{<light_red>Ill-formed type.@} Expected @{<green>\"[\"@} @{<i>expression@} @{<green>\"]\"@} for row_vector size.\n"
    | 328 ->
        "@{<light_red>Ill-formed declaration.@} Expected an identifier after sized type in local (or model block) variable declaration.\n(No transformations/constraints allowed.)\n"
    | 319 | 318 ->
        "@{<light_red>Ill-formed statement.@} Expected an expression followed by @{<green>\";\"@} after @{<green>\"=\"@}.\n"
    | 536 | 540 | 539 | 538 | 537 | 535 | 564 | 568 | 567 | 566 | 565 | 563 | 222 | 221 | 220 | 219 | 218 | 207 | 206 | 205 | 204 | 203 ->
        "@{<light_red>Ill-formed type.@} Expected @{<green>\"[\"@} @{<i>expression@} @{<green>\",\"@} @{<i>expression@} @{<green>\"]\"@} for matrix sizes.\n"
    | 688 ->
        "@{<light_red>Ill-formed block.@} Expected @{<green>\"{\"@} after @{<green>\"generated quantities\"@}.\n"
    | 411 ->
        "@{<light_red>Ill-formed block.@} Expected @{<green>\"{\"@} after @{<green>\"functions\"@}.\n"
    | 412 ->
        "@{<light_red>Ill-formed block.@} Expected a function forward declaration, definition, or @{<green>\"}\"@} after @{<green>\"functions {\"@}.\n"
    | 37 ->
        "@{<light_red>Ill-formed function.@} Expected an identifier as a function name.\n"
    | 87 ->
        "@{<light_red>Ill-formed function.@} Expected @{<green>\"(\"@} after function name.\n"
    | 402 ->
        "@{<light_red>Ill-formed function argument.@} Expected @{<green>\",\"@} or @{<green>\")\"@} after function argument declaration.\n"
    | 88 | 403 ->
        "@{<light_red>Ill-formed function argument.@} Expected an argument declaration (unsized and unconstrained type followed by identifier).\n"
    | 95 ->
        "@{<light_red>Ill-formed function.@} Expected either @{<green>\"{\"@} @{<i>statement@} @{<green>\"}\"@} for a function definition or @{<green>\";\"@} for a function forward declaration.\n"
    | 91 ->
        "@{<light_red>Ill-formed function argument.@} Expected a type after the @{<green>\"data\"@} specifier.\n"
    | 92 | 27 ->
        "@{<light_red>Ill-formed function argument.@} Expected an identifier after the type for the function argument name.\n"
    | 413 | 408 ->
        "@{<light_red>Ill-formed block.@} Expected a @{<green>\"}\"@} or a function definition or declaration.\n"
    | 417 ->
        "@{<light_red>Ill-formed block.@} Expected @{<green>\"{\"@} followed by a list of top-level variable declarations after @{<green>\"data\"@}.\n"
    | 624 | 630 ->
        "@{<light_red>Ill-formed declaration.@} Expected @{<green>\";\"@} after variable declaration.\n"
    | 655 | 325 | 315 | 332 ->
        "@{<light_red>Ill-formed declaration.@} Expected @{<green>\";\"@} or plain assignment after variable declaration.\n"
    | 418 ->
        "@{<light_red>Invalid type in declaration.@} @{<blue>Valid types:@}\n  int, real, vector, row_vector, matrix,\n  unit_vector, simplex, sum_to_zero_vector, ordered, positive_ordered,\n  corr_matrix, cov_matrix, cholesky_factor_corr, cholesky_factor_cov,\n  sum_to_zero_matrix, row_stochastic_matrix, column_stochastic_matrix,\n  tuple(@{<f>...@})\noptionally preceded by a @{<u>single@} array[@{<f>...@}]\n"
    | 613 | 317 | 615 | 610 | 310 ->
        "@{<light_red>Ill-formed declaration.@} Expected a new identifier after comma in declaration.\nAll variables declared must be of the same type, and any initializing assignment must follow the identifier before the next comma.\n"
    | 638 | 612 | 609 | 616 | 627 ->
        "@{<light_red>Ill-formed declaration.@} Cannot assign to variables in the @{<green>\"data\"@} or @{<green>\"parameters\"@} blocks.\nExpected @{<green>\";\"@} after variable declaration.\n"
    | 646 | 308 | 663 | 382 | 651 ->
        "@{<light_red>Ill-formed declaration.@} Expected an identifier and optional assignment after type in variable declaration.\n"
    | 608 | 637 | 570 | 626 ->
        "@{<light_red>Ill-formed declaration.@} Expected identifier after type in variable declaration.\n"
    | 420 ->
        "@{<light_red>Ill-formed constraint.@} Expected @{<green>\"lower =\"@}, @{<green>\"upper =\"@}, @{<green>\"offset =\"@} or @{<green>\"multiplier =\"@} followed by an expression after @{<green>\"<\"@}.\n"
    | 421 ->
        "@{<light_red>Ill-formed constraint.@} Expected @{<green>\"=\"@} @{<i>expression@} @{<green>\">\"@} after seeing @{<green>\"upper\"@}.\n"
    | 426 | 477 | 422 ->
        "@{<light_red>Ill-formed constraint.@} Expected an expression (not containing binary logical operators)\nafter @{<green>\"upper =\"@}.\n"
    | 424 | 432 | 425 | 423 | 450 | 448 | 446 | 428 | 438 | 452 | 444 | 442 | 436 ->
        "@{<light_red>Ill-formed constraint.@} Expected an expression (not containing binary logical operators).\n"
    | 465 ->
        "@{<light_red>Ill-formed constraint.@} Expected @{<green>\"=\"@} @{<i>expression@}\n(not containing binary logical operators) @{<green>\">\"@} after @{<green>\"multiplier\"@}.\n"
    | 466 ->
        "@{<light_red>Ill-formed constraint.@} Expected and expression (not containing binary logical operators)\nafter @{<green>\"multiplier =\"@}.\n"
    | 472 ->
        "@{<light_red>Ill-formed constraint.@} Expected @{<green>\"=\"@} @{<i>expression@}\n(not containing binary logical operators) after @{<green>\"lower\"@}.\n"
    | 471 ->
        "@{<light_red>Ill-formed constraint.@} Expected @{<green>\">\"@} after @{<green>\"offset = \"@} @{<i>expression@}.\n"
    | 470 ->
        "@{<light_red>Ill-formed constraint.@} Expected an expression (not containing binary logical operators)\nafter @{<green>\"offset =\"@}.\n"
    | 469 ->
        "@{<light_red>Ill-formed constraint.@} Expected @{<green>\"=\"@} @{<i>expression@}\n(not containing binary logical operators) after @{<green>\"offset\"@}.\n"
    | 467 | 468 ->
        "@{<light_red>Ill-formed constraint.@} Expected @{<green>\">\"@} or @{<green>\", offset = \"@} @{<i>expression@}\n(not containing binary logical operators) @{<green>\">\"@} after @{<green>\"multiplier = \"@} @{<i>expression@}.\n"
    | 457 ->
        "@{<light_red>Ill-formed constraint.@} Expected @{<green>\">\"@} after @{<green>\"lower = \"@} @{<i>expression@}.\n"
    | 474 | 473 | 456 ->
        "@{<light_red>Ill-formed constraint.@} Expected an expression (not containing binary logical operators)\nafter @{<green>\"lower =\"@}.\n"
    | 455 ->
        "@{<light_red>Ill-formed constraint.@} Expected @{<green>\"=\"@} @{<i>expression@}\n(not containing binary logical operators) after @{<green>\"lower\"@}.\n"
    | 454 ->
        "@{<light_red>Ill-formed constraint.@} Expected @{<green>\"lower =\"@} @{<i>expression@} (not containing binary logical operators) @{<green>\">\"@}\nafter @{<green>\"<upper =\"@} @{<i>expression@} @{<green>\",\"@} in top-level variable declaration.\n"
    | 475 ->
        "@{<light_red>Ill-formed constraint.@} Expected @{<green>\"upper =\"@} @{<i>expression@} (not containing binary logical operators) @{<green>\">\"@}\nafter @{<green>\"<lower =\"@} @{<i>expression@} @{<green>\",\"@} in top-level variable declaration.\n"
    | 476 ->
        "@{<light_red>Ill-formed constraint.@} Expected @{<green>\"=\"@} @{<i>expression@}\n(not containing binary logical operators) after @{<green>\"upper\"@}.\n"
    | 451 | 449 | 431 | 447 | 429 | 441 | 439 | 453 | 445 | 443 | 437 | 435 | 434 | 433 | 478 ->
        "@{<light_red>Ill-formed constraint.@} Expected @{<green>\">\"@} after @{<green>\"upper = \"@} @{<i>expression@}.\n"
    | 459 | 458 ->
        "@{<light_red>Ill-formed constraint.@} Expected @{<green>\"offset = \"@} @{<i>expression@} (not containing binary logical operators).\n"
    | 460 | 461 ->
        "@{<light_red>Ill-formed constraint.@} Expected @{<green>\">\"@} or @{<green>\", multiplier = \"@} @{<i>expression@}\n(not containing binary logical operators) @{<green>\">\"@} after @{<green>\"offset = \"@} @{<i>expression@}.\n"
    | 462 | 463 ->
        "@{<light_red>Ill-formed constraint.@} Expected @{<green>\"multiplier = \"@} @{<i>expression@} (not containing binary logical operators).\n"
    | 464 ->
        "@{<light_red>Ill-formed constraint.@} Expected @{<green>\">\"@} after @{<green>\"multiplier = \"@} @{<i>expression@}.\n"
    | 490 | 489 | 488 ->
        "@{<light_red>Ill-formed type.@} Expected @{<green>\"[\"@} @{<i>expression@} @{<green>\"]\"@} for size of unit_vector.\n"
    | 518 | 517 | 516 ->
        "@{<light_red>Ill-formed type.@} Expected @{<green>\"[\"@} @{<i>expression@} @{<green>\"]\"@} for size of simplex.\n"
    | 525 | 542 ->
        "@{<light_red>Ill-formed declaration.@} Expected @{<green>\"<\"@} @{<i>constraint@} @{<green>\">\"@} or identifier next as part of top-level variable declaration.\n"
    | 634 ->
        "@{<light_red>Ill-formed statement.@} Only top-level variable declarations are allowed in the @{<green>\"data\"@} and @{<green>\"parameters\"@} blocks.\n"
    | 529 | 528 | 527 ->
        "@{<light_red>Ill-formed type.@} Expected @{<green>\"[\"@} @{<i>expression@} @{<green>\"]\"@} for size of positive_ordered.\n"
    | 533 | 532 | 531 ->
        "@{<light_red>Ill-formed type.@} Expected @{<green>\"[\"@} @{<i>expression@} @{<green>\"]\"@} for size of ordered.\n"
    | 543 ->
        "@{<light_red>Ill-formed type.@} Expected @{<green>\"lower = \"@} @{<i>expression@} or @{<green>\"upper = \"@} @{<i>expression@} for integer bounds.\n"
    | 499 | 498 | 500 | 502 | 501 ->
        "@{<light_red>Ill-formed type.@} Expected @{<green>\"[\"@} @{<i>expression@} @{<green>\",\"@} @{<i>expression@} @{<green>\"]\"@} for size of sum_to_zero_matrix.\n"
    | 496 | 495 | 494 ->
        "@{<light_red>Ill-formed type.@} Expected @{<green>\"[\"@} @{<i>expression@} @{<green>\"]\"@} for size of sum_to_zero_vector.\n"
    | 510 | 511 | 512 | 513 | 514 ->
        "@{<light_red>Ill-formed type.@} Expected @{<green>\"[\"@} @{<i>expression@} @{<green>\",\"@} @{<i>expression@} @{<green>\"]\"@} for size of column_stochastic_matrix.\n"
    | 504 | 505 | 506 | 507 | 508 ->
        "@{<light_red>Ill-formed type.@} Expected @{<green>\"[\"@} @{<i>expression@} @{<green>\",\"@} @{<i>expression@} @{<green>\"]\"@} for size of row_stochastic_matrix.\n"
    | 547 | 546 | 545 ->
        "@{<light_red>Ill-formed type.@} Expected @{<green>\"[\"@} @{<i>expression@} @{<green>\"]\"@} for size of cov_matrix.\n"
    | 551 | 550 | 549 ->
        "@{<light_red>Ill-formed type.@} Expected @{<green>\"[\"@} @{<i>expression@} @{<green>\"]\"@} for size of corr_matrix.\n"
    | 576 | 575 | 572 | 574 | 573 ->
        "@{<light_red>Ill-formed type.@} Expected @{<green>\"[\"@} @{<i>expression@} @{<green>\"]\"@} or @{<green>\"[\"@} @{<i>expression@} @{<green>\",\"@} @{<i>expression@} @{<green>\"]\"@} for size of cholesky_factor_cov.\n"
    | 581 | 580 | 579 ->
        "@{<light_red>Ill-formed type.@} Expected @{<green>\"[\"@} @{<i>expression@} @{<green>\"]\"@} for size of cholesky_factor_corr.\n"
    | 692 ->
        "@{<light_red>Ill-formed program.@} Expected end of file after end of generated quantities block.\n"
    | 687 ->
        "@{<light_red>Ill-formed program.@} Expected @{<green>\"generated quantities {\"@} or end of file after end of model block.\n"
    | 682 ->
        "@{<light_red>Ill-formed program.@} Expected @{<green>\"model {\"@} or @{<green>\"generated quantities {\"@} after end of transformed parameters block.\n"
    | 676 ->
        "@{<light_red>Ill-formed program.@} Expected @{<green>\"transformed parameters {\"@}, @{<green>\"model {\"@} or @{<green>\"generated quantities {\"@} after end of parameters block.\n"
    | 670 ->
        "@{<light_red>Ill-formed program.@} Expected @{<green>\"parameters {\"@}, @{<green>\"transformed parameters {\"@},\n@{<green>\"model {\"@}, @{<green>\"generated quantities {\"@}, or end-of-file.\n"
    | 643 ->
        "@{<light_red>Ill-formed program.@} Expected @{<green>\"transformed data {\"@}, @{<green>\"parameters {\"@},\n@{<green>\"transformed parameters {\"@}, @{<green>\"model {\"@}, @{<green>\"generated quantities {\"@}, or end-of-file.\n"
    | 416 ->
        "@{<light_red>Ill-formed program.@} Expected @{<green>\"data {\"@}, @{<green>\"transformed data {\"@}, @{<green>\"parameters {\"@},\n@{<green>\"transformed parameters {\"@}, @{<green>\"model {\"@}, @{<green>\"generated quantities {\"@}, or end-of-file.\n"
    | 0 | 405 ->
        "@{<light_red>Ill-formed program.@} Only function definitions/declarations are expected in @{<light_blue>'.stanfunctions'@} files.\n"
    | 410 ->
        "@{<light_red>Ill-formed program.@} Expected @{<green>\"functions {\"@}, @{<green>\"transformed data {\"@}, @{<green>\"parameters {\"@},\n@{<green>\"transformed parameters {\"@}, @{<green>\"model {\"@}, or @{<green>\"generated quantities {\"@}.\n"
    | _ ->
        raise Not_found
