Module Verify.Semigroup_Any

Parameters

Signature

include sig ... end
module I : sig ... end
val associativity : 'a S.t -> 'a S.t -> 'a S.t -> bool