{α : Type u_2} →
  [inst : TopologicalSpace α] →
    {β : Type u_6} →
      [inst_1 : PseudoMetricSpace β] →
        [inst_2 : Zero β] → CompactlySupportedContinuousMap α β → BoundedContinuousFunction α β