Standard Library
This section of the manual describes Storm's standard library. The standard library is located in
the package core and a few sub-packages, and contains central data structures and utilities for
languages to use. The types in the standard library also serve as a common language for exchanging
data between languages, since most languages are likely to implment the corresponding concepts in
the language in terms of the Storm standard library.
Most of these types are likely visible by default in languages in Storm. For example, both Basic
Storm and the Syntax
Language searches the core package by default.
As mentioned before, this part of the manual aims to provide an overview of the central concepts. Due to the importance of the standard library, this overview is fairly complete and contains many excerpts from the built-in documentation.