The LibBase structure
Author: John Reppy
Keywords: Standard ML, SML, SML/NJ Library

The SML of NJ Library
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

SML/NJ Version 110.99.9 (November 4, 2025)
Last updated 2025-11-04 15:48:25 UTC