sig
  type print_hook =
      int -> t CCFormat.printer -> Format.formatter -> t -> bool
  val pp_depth : ?hooks:print_hook list -> int -> t CCFormat.printer
  val pp : t CCFormat.printer
  val to_string : t -> string
  val pp_typed_var : Type.t HVar.t CCFormat.printer
  val i : Type.t
  val o : Type.t
  val int : Type.t
  val rat : Type.t
  val real : Type.t
end