Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Out_channel.output_line
Out_channel.fprint_s
, used to share implementation of print_s
and eprint_s
Out_channel.print_s
.-safe-string
.Out_channel.output_bytes
, Out_channel.output_substring
.In_channel.equal
and Out_channel.equal
, implemented as phys_equal
.Initial release.