Module Single_value_abstraction.Dummy

module Complete_Binary (B : sig ... end) : sig ... end
module Complete_Integer (B : sig ... end) : sig ... end
module Dummy_All_Basis : sig ... end