sig
val pr_structure : Format.formatter -> Code.structure -> unit
val pr_expression : Format.formatter -> Code.exp -> unit
val pr_clause : Format.formatter -> Code.clause -> unit
val reset_line_count : unit -> unit
val incr_line_count : unit -> unit
val get_line_count : unit -> int
val set_output_filename : string -> unit
end