Parameters
Signature
val compare : t -> t -> int
val equal : t -> t -> bool
val type_info : t -> Ty.t
val print : Stdlib.Format.formatter -> t -> unit
val subst : r -> r -> t -> r
val add : Symbols.t -> (r * int) -> (r * int) list -> (r * int) list
val abstract_selectors : t -> (r * r) list -> r * (r * r) list
val compact : (r * int) list -> (r * int) list