diff --git a/toplevel/topdirs.ml b/toplevel/topdirs.ml
index 2d7fde6..5b34924 100644
--- a/toplevel/topdirs.ml
+++ b/toplevel/topdirs.ml
@@ -167,8 +167,10 @@ let load_file = load_file false
 (* Load commands from a file *)
 
 let dir_use ppf name = ignore(Toploop.use_file ppf name)
+let dir_mod_use ppf name = ignore(Toploop.mod_use_file ppf name)
 
 let _ = Hashtbl.add directive_table "use" (Directive_string (dir_use std_out))
+let _ = Hashtbl.add directive_table "mod_use" (Directive_string (dir_mod_use std_out))
 
 (* Install, remove a printer *)
 
diff --git a/toplevel/toploop.ml b/toplevel/toploop.ml
index aa356b2..53a2400 100644
--- a/toplevel/toploop.ml
+++ b/toplevel/toploop.ml
@@ -105,6 +105,23 @@ let print_error = Location.print_error
 let print_warning = Location.print_warning
 let input_name = Location.input_name
 
+let parse_mod_use_file name lb =
+  let modname =
+    String.capitalize (Filename.chop_extension (Filename.basename name))
+  in
+  let items =
+    List.concat
+      (List.map
+         (function Ptop_def s -> s | Ptop_dir _ -> [])
+         (!parse_use_file lb))
+  in
+  [ Ptop_def
+      [ { pstr_desc =
+            Pstr_module ( Location.mknoloc modname ,
+                          { pmod_desc = Pmod_structure items;
+                            pmod_loc = Location.none } );
+          pstr_loc = Location.none } ] ]
+
 (* Hooks for initialization *)
 
 let toplevel_startup_hook = ref (fun () -> ())
@@ -287,7 +304,7 @@ let protect r newval body =
 
 let use_print_results = ref true
 
-let use_file ppf name =
+let use_file ppf wrap_mod name =
   try
     let (filename, ic, must_close) =
       if name = "" then
@@ -309,7 +326,10 @@ let use_file ppf name =
             (fun ph ->
               if !Clflags.dump_parsetree then Printast.top_phrase ppf ph;
               if not (execute_phrase !use_print_results ppf ph) then raise Exit)
-            (!parse_use_file lb);
+            (if wrap_mod then
+               parse_mod_use_file name lb
+             else
+               !parse_use_file lb);
           true
         with
         | Exit -> false
@@ -319,6 +339,9 @@ let use_file ppf name =
     success
   with Not_found -> fprintf ppf "Cannot find file %s.@." name; false
 
+let mod_use_file ppf name = use_file ppf true name
+let use_file ppf name = use_file ppf false name
+
 let use_silently ppf name =
   protect use_print_results false (fun () -> use_file ppf name)
 
diff --git a/toplevel/toploop.mli b/toplevel/toploop.mli
index e9afb5a..46ba06c 100644
--- a/toplevel/toploop.mli
+++ b/toplevel/toploop.mli
@@ -57,9 +57,11 @@ val execute_phrase : bool -> formatter -> Parsetree.toplevel_phrase -> bool
            should be printed. Uncaught exceptions are always printed. *)
 val use_file : formatter -> string -> bool
 val use_silently : formatter -> string -> bool
+val mod_use_file : formatter -> string -> bool
         (* Read and execute commands from a file.
            [use_file] prints the types and values of the results.
-           [use_silently] does not print them. *)
+           [use_silently] does not print them.
+           [mod_use_file] wrap the file contents into a module. *)
 val eval_path: Path.t -> Obj.t
         (* Return the toplevel object referred to by the given path *)