Module `Compare.Semigroupoid`

Parameters

S : Interface.SEMIGROUPOID
E : Interface.EQ2 with type ('a, 'b) t = ('a, 'b) S.t

Signature

module I : sig ... end

val associativity : ('c, 'd) S.t -> ('b, 'c) S.t -> ('a, 'b) S.t -> bool