Type hint generated functions in specify