human
I wrote the below code

    if (examples is None):
        examples = []
    def deco(f):
        f.user_documentation = UserDocumentation(text=text, examples=pvector(examples), header=header, section=section)
        return f
    return deco

What's a good function header?
assistant
#Here's a good function header.

def user_documentation(text, header, section, examples=None):