Parameter Extend.1-Base

type t

Abstract type for equatable values.

val equal : t equality

equal t1 t2 tests if the values t1 and t2 are equal, and is used by the = and <> operators.