package psmt2-frontend

  1. Overview
  2. Docs
type error =
  1. | Lexical_error of string
  2. | Syntax_error of string
  3. | Typing_error of string
  4. | Incremental_error of string
  5. | Unknow_Type_error of string
  6. | Missing_parameter_error of string
  7. | Logic_declaration_error of string
  8. | Sort_declaration_error of string
  9. | Datatype_declaration_error of string
  10. | Quantifier_error of string
  11. | Fun_declaration_error of string
  12. | Ambiguity_error of string
  13. | No_match_error of string
  14. | Type_clash_error of string * string
exception Error of error * (Stdlib.Lexing.position * Stdlib.Lexing.position) option
val report_loc : Stdlib.Format.formatter -> string -> (Stdlib.Lexing.position * Stdlib.Lexing.position) -> unit
val print : Stdlib.Format.formatter -> string -> error -> (Stdlib.Lexing.position * Stdlib.Lexing.position) -> unit
val error : error -> (Stdlib.Lexing.position * Stdlib.Lexing.position) option -> 'a
val warning : Stdlib.Format.formatter -> error -> (Stdlib.Lexing.position * Stdlib.Lexing.position) option -> unit