Module `Verify.Bicontravariant`

Parameters

B : Interface.BICONTRAVARIANT

Signature

include sig ... end

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