Verify.Semigroupoid
S : Interface.SEMIGROUPOID
include sig ... end
module I : sig ... end
val associativity : ('c, 'd) S.t -> ('b, 'c) S.t -> ('a, 'b) S.t -> bool