Comp.Atom
type t = Ty.t list
val compare : t -> t -> int
Comparison working on the internal representation of t.
t
val equal : t -> t -> bool
Equality, equal a b is equivalent to compare a b = 0.
equal a b
compare a b = 0
val map_nodes : (Ty.t -> Ty.t) -> t -> t