Silver provides a number of libraries that may be imported into a specification.

These are documented here and include:

….