Module type Equal1.Extension

Extended 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.

val not_equal : 'a equality -> 'a t equality

not_equal equal_a t1 t2 tests if the values t1 and t2 are not equal using the equal_a function to compare the values of type 'a.

not_equal equal_a t1 t2 is a shorthand for not (equal equal_a t1 t2).