package psmt2-frontend

  1. Overview
  2. Docs

Module Psmt2Frontend.Smtlib_errorSource

Sourcetype 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
Sourceexception Error of error * (Lexing.position * Lexing.position) option
Sourceval report_loc : Format.formatter -> string -> (Lexing.position * Lexing.position) -> unit
Sourceval print : Format.formatter -> string -> error -> (Lexing.position * Lexing.position) -> unit
Sourceval error : error -> (Lexing.position * Lexing.position) option -> 'a
Sourceval warning : Format.formatter -> error -> (Lexing.position * Lexing.position) option -> unit