The MozCompilation module exports a single procedure, Compile,
which takes the file name to compile and the environment to compile it
under. If the file contains only an expression, such as a single
functor, that is returned. The environment is given as a list of
2-tuples. The first part of each 2-tuple is an atom representing the
variable name under which that aspect of the environment will be visible
in the compilation. The second part is the actual value being made so
visible. Note that if one of the variables passed in to the compilation
is unbound, binding it in the compilation will effectively work as
output.
If you didn't understand that, that's probably fine; this isn't a user-servicable part of the code, and I don't really even understand it myself.