Module `M.Compare`

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

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

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

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

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