sig type t = I of ID.t | B of Builtin.t val equal : t -> t -> bool val compare : t -> t -> int val pp : t CCFormat.printer val to_string : t -> string end