1#![no_std]
2
3#[cfg(feature = "std")]
4extern crate std;
5
6mod core;
7mod option;
8mod scalars;
9
10#[cfg(feature = "std")]
11pub mod havoc;
12
13pub use core::{nondet, nondet_with, Nondet};
14
15pub use option::nondet_option;
16pub use scalars::{cvlr_nondet_small_i128, cvlr_nondet_small_u128};