[issue16210] combine the two type() definitions in built-in function docs

[Terry J. Reedy]

Terry J. Reedy added the comment:

In other words, change
'''
type(object)

    Return the type of an object. ...
    ...
    With three arguments, type() functions as a constructor as detailed below.

type(name, bases, dict)

    Return a new type object....
'''
to something like
'''
type(object)
type(name, bases, dict)

    With one argument, return the type of an object. ...
    
    With three arguments, return a new type object. ...
'''
Now that we are using double headers elsewhere, I agree we should do so here also.

----------
nosy: +terry.reedy

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue16210>
_______________________________________