Extend.1-Base
type 'a t
Abstract type for equatable values.
val equal : 'a equality -> 'a t equality
equal 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.
equal equal_a t1 t2
t1
t2
equal_a
'a