@impl-attribute on multi-clause functions

Only the first one is necessary.