Locationval input_name : string refval input_chan : in_channel refval no_location : locationval output_lines : Format.formatter -> int -> int -> int -> int -> int -> unitval output_loc :
Format.formatter ->
(unit -> char) ->
(int -> 'a) ->
bool ->
location ->
unitval output_location : Format.formatter -> location -> unitval output_input_name : Format.formatter -> unit