in generated Python code parameter types are specified explicitly