format6

Value or type	Note	'a	'b	'c	'd	'e	'f	rest type
format6		'a	'b	'c	'd	'e	'f	---------
format	('a, 'b, 'c, 'c) format4`	'a	'b	'c	'c	'c	'c
format4	('a, 'b, 'c, 'c, 'c, 'd) format6	'a	'b	'c	'c	'c	'd	---------
Scanf.scanner	('a, Scanf.Scanning.scanbuf, 'b, 'c, 'a -> 'd, 'd) format6 -> 'c	'a	scanbuf	'b	'c	'a -> 'd	'd	'c
Manual
Printf
Scanf
Format
Paper		'functional_type = 'argument_sequence -> 'result_type where 'argument_sequence is the type of sequence of arguments to print or value to read	'low_level_device	'poly_printer_result	'poly_reader_functional_type
Printf			input device	%a or %t, hence a polymorphic pretty-printer, which prints value of 't has type 'low_level_device -> 't -> 'poly_printer_result
Scanf		'functional_type is also the type of receiver function	output_device	%r	'poly_reader_functional_type = 'poly_reader_sequence -> 'poly_reader_result where 'poly_reader_sequence is the type of sequence of polymorphic readers required by all the %r