Module Verify.Medial_Magma

Default Verify functors. Uses Pervasives.( == ) for comparison.

Parameters

Signature

include sig ... end
module I : sig ... end
val bicommutativity : M.t -> M.t -> M.t -> M.t -> bool