timespan_part()?

Hello

In a script I found a query

SELECT timespan_part( ... ) FROM table;

Is this a valid PostgreSQL-function? In the documentation I didn't
find any hint.
If yes, does PostgreSQL 7.1 support this function?

Thanks
Conni