Module Compare.Contravariant

Parameters

• C : Interface.CONTRAVARIANT
• E : Interface.EQ1 with type 'a t = 'a C.t

Signature

val id : ('a, 'a) Function.Category.t

val (<.) : ('a, 'b) Bastet__Function.Semigroupoid.t -> ('c, 'a) Bastet__Function.Semigroupoid.t -> ('c, 'b) Bastet__Function.Semigroupoid.t

val identity : 'a C.t -> bool

val composition : ('c -> 'b) -> ('b -> 'a) -> 'a C.t -> bool