blob: 3ff39c1f3b13c5e11fa6ec4c642d83663f4e3c5e (
plain)
1
2
3
4
5
6
7
8
9
|
(* $Id$ *)
(* 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
|