Up – bastet » Bastet » Verify » Compare » Medial_Magma

Module `Compare.Medial_Magma`

Parameters

M : Interface.MEDIAL_MAGMA
E : Interface.EQ with type t = M.t

Signature

module I : sig ... end

val bicommutativity : M.t -> M.t -> M.t -> M.t -> bool