Module Astral_internal.ParserException

type actual = string
type expected = string
type what =
  1. | Builtin of what
  2. | Variable
  3. | Sort
  4. | Structure
  5. | Constructor
type parser_error =
  1. | SyntaxError of string
  2. | NotSupported of string
  3. | SortError of string * actual * expected
  4. | NotDeclared of what * string
  5. | Redefined of what * string
type t = Dolmen_std.Loc.t option * ParserContext_type.t option * parser_error
exception ParserError of t
val _raise : Dolmen_std.Loc.t option -> ParserContext_type.t option -> parser_error -> 'a
val raise_syntax_error : Dolmen_std.Loc.t option -> string -> 'a
val raise_not_supported : Dolmen_std.Loc.t option -> string -> 'a
val raise_not_declared : Dolmen_std.Loc.t option -> ParserContext_type.t -> what -> string -> 'a
val raise_redefined : Dolmen_std.Loc.t option -> ParserContext_type.t -> what -> string -> 'a
val raise_sort_error : Dolmen_std.Loc.t option -> name:string -> actual:actual -> expected:expected -> 'a