oasis.cli
CLIPager
Handle 'pager' command
oasis
oasis.base
oasis.builtin-plugins
oasis.dynrun
plugin-loader
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