Module Compare.Bicontravariant

Parameters

• B : Interface.BICONTRAVARIANT
• E : Interface.EQ2 with type ('a, 'b) t = ('a, 'b) B.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, 'b) B.t -> bool

val composition : ('e -> 'b) -> ('f -> 'd) -> ('b -> 'a) -> ('d -> 'c) -> ('a, 'c) B.t -> bool