Module `Verify.Profunctor`

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 (>.) : ('a, 'b) Bastet__Function.Semigroupoid.t -> ('b, 'c) Bastet__Function.Semigroupoid.t -> ('a, 'c) Bastet__Function.Semigroupoid.t
val identity : ('a, 'b) P.t -> bool
val composition : ('a -> 'b) -> ('c -> 'd) -> ('e -> 'a) -> ('d -> 'f) -> ('b, 'c) P.t -> bool