sig val gen_report : draft:bool -> unit -> unit end