sigma_types/
lib.rs

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
//! Types that maintain a given invariant.

#![no_std]

mod invariant;
mod sigma;
mod sorted;

#[cfg(test)]
mod test;

pub use {
    invariant::Test,
    sigma::Sigma,
    sorted::{OutOfOrder, Sorted, SortedInvariant},
};