| F | |
| flavour [Fl_metascanner] | 
 | 
| formal_pred [Fl_metascanner] | |
| formal_pred [Findlib] | A formal predicate as it occurs in a package definition | 
| P | |
| package [Fl_package_base] | The definition of a package | 
| package_priv [Fl_package_base] | |
| pkg_definition [Fl_metascanner] | A  (flavour `BaseDef), or the syntax (flavour `Appendix) in the META file. | 
| pkg_expr [Fl_metascanner] | A value of type  | 
| R | |
| rectype [Findlib] |