(********************** More code for modules ******************************)

(* Initialization : open the default modules. *)
value initialize_modules : string list -> unit;;

(* Close all modules. *)
value close_all_modules : unit -> unit;;

