@type -> @return for functions