Type annotate
@public