Module Int.Subtractive

module Quasigroup : sig ... end