sig
  val print_interf :
    ?input_file:string -> ?output_file:string -> Syntax.Ast.sig_item -> unit
  val print_implem :
    ?input_file:string -> ?output_file:string -> Syntax.Ast.str_item -> unit
end