Module Compare.Category
Parameters
C : Interface.CATEGORYE : Interface.EQ2 with type ('a, 'b) t = ('a, 'b) C.t
Signature
module I : sig ... endval identity : ('a, 'b) C.t -> bool
Compare.CategoryC : Interface.CATEGORYE : Interface.EQ2 with type ('a, 'b) t = ('a, 'b) C.tmodule I : sig ... endval identity : ('a, 'b) C.t -> bool