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