``check p e`` raises the exception ``e`` if the predicate ``p`` is ``false``, otherwise returns ``unit``.

Parameters: * ``p``: predicate to check. * ``e``: exception to raise.

Returns: * ``unit``

``verify p f`` calls the function ``f`` which further raises an exception if the predicate ``p`` is ``false``, otherwise returns ``unit``.

Parameters: * ``p``: predicate to check. * ``f``: function to raise the exception.

Returns: * ``unit``

``to_string e`` converts an exception into a string containing more detailed information for debugging the code.

``pp_exception`` is the pretty printer for Owl exceptions.

Input arugments of convolution operations are invalid.

Exception of not implemented yet.

Exception of not supported type.

Exception of found an element.

Exception of not found an element.

Exception of an empty array

Unit Test fails.

Input arugments are invalid.

Invalide probability value, not within 0,1 range.

Invalid matrix shapes for matrix dot product.

Fails if the input is negative.

Fails if a matrix is not square.

Fails if the input is not a matrix.

Fail if two ndarrays have different shape.

Fail if two ndarrays have different size.

Fail if the shapes of multiple ndarrays are not broadcastable.

Fail to converge.

Number of iteration exceeds the threshold.

Exception of singular matrix.

Exception of not being simplex.

Exception of index out of boundary.

Exception of illegal gist name.