The Delim module contains a number of standard ways elements of abstract types can be written in a string.

This module type establishes basic functions for printing abstract types.

The Mstring module contains more functions for manipulating strings, characters and lists of those strings, characters etc.

This module type establishes basic functions an abstract type must have.

This file contains functions for reading and writing to files and directories.

This module contains functions for making and using tables implemented as a string matrix (string array array).

Mbool offers several functions for constructing,viewing, and altering the forms of boolean predicates.

The Mlist module contains more functions for manipulating lists.

The Mset module contains more functions for manipulating sets.

Mmap has a few more useful functions for Maps.

Xlist implements lists as abstract types.

Xset basically extends the Set.Make module.

Xmap implements some extra functions over maps.