sig
  type t =
      Tint
    | Treal
    | Tbool
    | Tabstract of Hstring.t
    | Tsum of Hstring.t * Hstring.t list
  val hash : Ty.t -> int
  val equal : Ty.t -> Ty.t -> bool
  val compare : Ty.t -> Ty.t -> int
  val print : Format.formatter -> Ty.t -> unit
end