sig
  val print_expression : MiniAst.expression -> unit
  val print_binding : MiniAst.binding -> unit
  val print_program : MiniAst.program -> unit
  val print_type : ?paren:bool -> MiniAst.typ -> unit
  val active_mode : PrettyPrinter.mode -> unit
  val register_tasks : Processing.task_name -> unit
  val print_program_task : Processing.task_name
end