Module Rule.Stable

module V1 : sig ... end
module V0 : sig ... end