alg_structs

Interfaces and module combinators for algebraic structures
IN THIS PACKAGE

Parameters

module S : S

Signature

val associativity : S.t -> S.t -> S.t -> bool

associativity x y z is true when

S.(x * (y * z)) = S.((x * y) * z)