∀ {α : Type u} {β : Type v} {𝕜 : Type u_1} [inst : PseudoMetricSpace 𝕜] [inst_1 : TopologicalSpace α]
  [inst_2 : NonUnitalSeminormedRing β] [inst_3 : Zero 𝕜] [inst_4 : SMul 𝕜 β] [inst_5 : IsBoundedSMul 𝕜 β]
  [IsScalarTower 𝕜 β β], IsScalarTower 𝕜 (BoundedContinuousFunction α β) (BoundedContinuousFunction α β)