Base interface for equatable polymorphic unary types.
type 'a tAbstract type for equatable values.
val equal : 'a equality -> 'a t equalityequal equal_a t1 t2 tests if the values t1 and t2 are equal using the equal_a function to compare the values of type 'a.