Module Psmt2Frontend.Smtlib_error

type error =
| Lexical_error of string
| Syntax_error of string
| Typing_error of string
| Incremental_error of string
| Unknow_Type_error of string
| Missing_parameter_error of string
| Logic_declaration_error of string
| Sort_declaration_error of string
| Datatype_declaration_error of string
| Quantifier_error of string
| Fun_declaration_error of string
| Ambiguity_error of string
| No_match_error of string
| 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