Module `Compare.Semigroupoid`

Parameters

S : Bastet.Interface.SEMIGROUPOID
E : Bastet.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