path: root/library/discharge.mli

(* $Id$ *)

val close_section : string -> unit