Arrows.Atom
type t = Ty.t * Ty.t
Function atoms represents a single function type, given by its domain and co-domain.
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
map_nodes f a is (f (fst a), f (snd a)).
map_nodes f a
(f (fst a), f (snd a))