Topprinters
type printer_type = Types.type_expr -> Types.type_expr
val type_arrow : Types.type_expr -> Types.type_expr -> Types.type_expr
val printer_type_new : printer_type
val printer_type_old : printer_type