1 2 3 4 5 6 7
interface D { function f() view external; } contract C is D { function f() override view external {} } // ----