Module CLIPagerSource

Handle 'pager' command

Sourceval pager_cmd : OASISTypes.host_filename option
Sourceval open_out : unit -> (Buffer.t * Format.formatter) * Format.formatter
Sourceval close_out : (Buffer.t * Format.formatter) -> unit