Module `M.Compare`

module Medial_Magma : functor (M : Interface.MEDIAL_MAGMA) -> functor (E : sig ... end) -> functor (A : sig ... end) -> sig ... end

module Quasigroup : functor (QG : Interface.QUASIGROUP) -> functor (E : sig ... end) -> functor (A : sig ... end) -> sig ... end

module Semiring : functor (S : Interface.SEMIRING) -> functor (E : sig ... end) -> functor (A : sig ... end) -> sig ... end

module Division_Ring : functor (D : Interface.DIVISION_RING) -> functor (E : sig ... end) -> functor (A : sig ... end) -> sig ... end

module Euclidean_Ring : functor (E : Interface.EUCLIDEAN_RING) -> functor (EQ : sig ... end) -> functor (A : sig ... end) -> sig ... end