Unknown Types

The standard library contains three types that are denoted as unknown types. These types have a size and copy-constructors, but no operations. They are therefore generally uninteresting to utilize from Storm, except when working with low-level primitives. They exist to make it possible to express member variables that are useful in C++, but that are not possible to represent in Storm. Occasionally, they also appear as parameters or return values to low-level functionality in Storm.

The types are as follows: