sig
  type entry =
      Val of Tip_ast.term * Tip_ast.term
    | Ty of Tip_ast.ty * Tip_ast.var list
  type model = Tip_ast.Smbc_res.entry list
  type t =
      Sat of Tip_ast.Smbc_res.model
    | Unsat
    | Unknown of string
    | Timeout
  val pp_entry : Format.formatter -> Tip_ast.Smbc_res.entry -> unit
  val pp_model : Tip_ast.Smbc_res.model CCFormat.printer
  val pp : Tip_ast.Smbc_res.t CCFormat.printer
end