module Fl_dynload:sig..end
val load_packages : ?debug:bool -> string list -> unitFindlib.recorded_predicates, which are normally the
    predicates from the link-time of the executable.
    In order to initialize this module correctly, you need to link the
    executable in a special way. This is done by including "findlib.dynload"
    in the ocamlfind command, e.g.
 ocamlfind ocamlopt -o program -package findlib.dynload -linkpkg m.ml 
    It is not sufficient to just link findlib_dynload.cm(x)a into the
    executable. The above command adds special initialization code that
    (a) records the predicates and (b) records the packages already present
    in the executable. Also -linkall is implicitly added.
The dynamic package loader works both for bytecode and native code. The META files of the packages need to specify the cma or cmxs files in the following way:
plugin(byte) = "my_plugin.cma"
plugin(native) = "my_plugin.cmxs"