Standard library for [Imandra](https://imandra.ai)

Compute the double word product of two unsigned 32-bit integers.

Perform C-like multiplication of two unsigned 32-bit integers.

Compute the double word product of two signed 32-bit integers.

Perform C-like multiplication of two signed 32-bit integers.

Standard library simulation iterators.

Return the real and imaginary components of a single-precision complex floating-point number.

Test whether two single-precision complex floating-point numbers are not equal.

Parse a string representation of a 128-bit complex number.

Test whether two single-precision complex floating-point numbers are the same value.

Test if an input value is a supported array unsigned integer data type.

Standard library incremental machine learning algorithms.

Test whether two double-precision complex floating-point numbers are the same value.

Return the complex conjugate of a single-precision complex floating-point number.

Test if an input value is a supported array signed integer data type.

Parse a string representation of a 64-bit complex number.

Return the complex conjugate of a complex number.

Test whether two single-precision complex floating-point numbers are the same value.

Return the real and imaginary components of a complex number.

Test if an input value is a supported array integer data type.