Module Base.Floatable

module type S : sig ... end