package batteries

  1. Overview
  2. Docs
package batteries
Legend:
Library
Module
Module type
Parameter
Class
Class type

Tools for reading the documentation from the toplevel

All these tools are invoked automatically by the Batteries Toplevel. They are provided here if you wish to integrate them into your own toplevel.

  • author David Teller
type kinds =
  1. | Values
  2. | Types
  3. | Topics
  4. | Modules
  5. | Exns
  6. | Modtypes
  7. | Classes
  8. | Methods
  9. | Attributes
  10. | Objtypes
val init : unit -> unit

Proceed to initialization.

This function loads the primary help files and registers the toplevel directives.

If you integrate the on-line help system into your toplevel, you must call this function before any of the other functions of this module.

val help : unit -> unit

help () opens the tutorial.

val man : string -> unit

man "something" opens the help about subject "something".