Module `Verify.Bifunctor`

Parameters

B : Interface.BIFUNCTOR

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 : ('b -> 'e) -> ('d -> 'f) -> ('a -> 'b) -> ('c -> 'd) -> ('a, 'c) B.t -> bool