∀ {X : Type u_1} {Y : Type u_2} [inst : TopologicalSpace X] [inst_1 : TopologicalSpace Y] [SecondCountableTopology X]
  [LocallyCompactSpace X] [SecondCountableTopology Y], TopologicalSpace.SeparableSpace C(X, Y)