path: root/library/discharge.mli

(* $Id$ *)

val close_section : bool -> string -> unit