jon.recoil.org

Module Progress_engineSource

Progress_engine provides a platform-independent progress bar renderer. Most users should use the Progress module, which instantiates this core with a Unix platform implementation.

module type S = sig ... end
Sourcemodule type Platform = sig ... end
module Integer : sig ... end
Sourcemodule Exposed_for_testing : sig ... end