refining_length/prelude.rs
1//! The `refining-length` prelude.
2
3#[doc(inline)]
4pub use crate::{
5 length::HasLength,
6 predicates::{
7 LengthClosed, LengthClosedOpen, LengthDivisible, LengthEqual, LengthEven, LengthGreater,
8 LengthGreaterOrEqual, LengthLess, LengthLessOrEqual, LengthModulo, LengthNonZero,
9 LengthNotEqual, LengthOdd, LengthOpen, LengthOpenClosed, LengthZero,
10 },
11};