Module prelude

Re-exports

pub use super::Result;

pub use miette;

pub use slang;

pub use smtlib;

pub use tracing;

Macros

bail

Return early with an error.

eyre

Construct an ad-hoc error from a string.

Traits

Sorted

An trait for typing STM-LIB terms.

StaticSorted

A trait for statically typing STM-LIB terms.