library L { // This can be used as an "interface", hence it is allowed. function f() public; }