module Format: module type of Format with type formatter_out_functions := Format.formatter_out_functions and type formatter_tag_functions := Format.formatter_tag_functions and type formatter := Format.formatter
module type of Format
with type formatter_out_functions := Format.formatter_out_functions and type formatter_tag_functions := Format.formatter_tag_functions and type formatter := Format.formatter