cvlr_mathint/lib.rs
1#![no_std]
2
3/// ! Mathematical Integers
4///
5/// This crate provides various representations of integers that behave like
6/// mathematical integers that do not overflow. ///
7///
8/// [NativeInt] is a native symbolic integer of the Certora Prover. Typically,
9/// this is a 256 bit integer.
10///
11/// Use feature `rt` to enable run-time under-approximation, for example, for testing.
12pub mod nativeint_u64;
13
14pub use nativeint_u64::NativeIntU64 as NativeInt;
15
16pub use nativeint_u64::{is_u128, is_u16, is_u32, is_u64, is_u8};