Module type Order.Equal1

Base interface for equatable polymorphic unary types.

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.