Imandra_interactive.Error_i
val print : Stdlib.Format.formatter -> exn -> unit
val pp_top : Stdlib.Format.formatter -> exn -> unit
val setup : unit -> unit