Parameter Make.T

type t

See EQ.t.

val equal : t -> t -> bool