Mah ....

Che cosa fa get_defined_functions() ?

Vediamo cosa dice il manuale al riguardo:

http://www.php.net/get_defined_functions
get_defined_functions — Returns an array of all defined functions

Come si fa ad ottenere i nomi delle funzioni definite in un file?

Abbastanza ovvio, richiami get_defined_function() prima di includere il file, lo richiami dopo aver incluso il file ed poi sottrai il secondo array dal primo.