return types for static analysis