Module Int.Subtractive

module Medial_Magma : sig ... end
module Quasigroup : sig ... end