# Assert package

Contains runtime assertions. If you are looking for assertion that only run
when your code was compiled with the `debug` flag, check out `Assert`. For
assertions that are always enabled, check out `Fact`.


## Public Types

* [primitive Assert](assert-Assert.md)
* [primitive Fact](assert-Fact.md)
