Type annotate `@public`