Module Base__.Floatable

module type S : sig ... end