Expand description
The prelude module contains the most commonly used types and traits in
smtlib. It is recommended to import this module when using smtlib.
Re-exportsยง
pub use crate::terms::Sorted;pub use crate::terms::StaticSorted;
The prelude module contains the most commonly used types and traits in
smtlib. It is recommended to import this module when using smtlib.
pub use crate::terms::Sorted;pub use crate::terms::StaticSorted;