blob: 7cd5aab39cfcbafbd3ddea38251f1cf09b07ded5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
(*i $Id$ i*)
(* This module implements the discharge mechanism. It provides a function to
close the last opened section. That function calls [Lib.close_section] and
then re-introduce all the discharged versions of the objects that were
defined in the section. *)
val close_section : bool -> string -> unit
val save_module_to : string -> string -> unit
|
