Module `Bastet__Verify.Semigroupoid`

Parameters

S : Bastet.Interface.SEMIGROUPOID

Signature

include sig ... end

module I : sig ... end

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