Note:

You are viewing a development version of the library. Goto the latest version.

Module CLIPager

module CLIPager: sig .. end
Handle 'pager' command

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