file(F, Proc_list)

Both  F  and  Proc_list must be uninstantiated.  F is successively bound to
the  names of consulted files.  Proc_list is bound to the list of procedure
names defined in the respective files.
