Psmt2Frontend.Smtlib_error
type error =
exception Error of error * (Stdlib.Lexing.position * Stdlib.Lexing.position) option
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