Make.Comparator
Node comparator
val is_eq : Region_pp_intf.comparison -> bool
Returns true
iff comparison
is Equivalent
val compare : node -> node -> Region_pp_intf.comparison
Compare node1
with node2
val compare_all : node list -> node list -> Region_pp_intf.comparison
Compare each element of nodes1
with the matching element of nodes2
. If lengths don't match return UnComparable