The LibBase structure

The LibBase structure provides some common definitions that are shared across the SML/NJ Lbrary.

Synopsis

signature LIB_BASE
structure LibBase : LIB_BASE

Interface

exception Unimplemented of string
exception Impossible of string

exception NotFound

val failure : {module : string, func : string, msg : string} -> 'a

Description

exception Unimplemented of string: This exception is raised to report unimplemented features.
exception Impossible of string: This exception is raised to report internal errors.

exception NotFound: This exception is raised by searching operations when something being searched for is missing.
val failure : {module : string, func : string, msg : string} -> 'a: failure {module, func, msg} raises the Fail exception with a message in a standard format. It is used internally to report errors.

See Also

The Util Library