Module Verify.Extend

Parameters

Signature

include sig ... end
val (<.) : ('a, 'b) Bastet__Function.Semigroupoid.t -> ('c, 'a) Bastet__Function.Semigroupoid.t -> ('c, 'b) Bastet__Function.Semigroupoid.t
val associativity : ('b E.t -> 'c) -> ('a E.t -> 'b) -> 'a E.t -> bool