Module prelude

Source

Re-exports§

pub use super::add_generics::AttachGenerics;
pub use super::add_generics::WithGenerics;
pub use super::assert::Assert;
pub use super::assert::InsertIntoTemplate;
pub use super::assert_into;
pub use super::assert_into;
pub use super::assertable::Assertable;
pub use super::bounds::AssertableWithBounds;
pub use super::bounds::ProvideBounds;
pub use super::bounds::ResolveBounds;
pub use super::bounds::ResolvedBounds;
pub use super::generatable::Generatable;
pub use super::generatable::Trait;
pub use super::generatable::Type;
pub use super::raw_assert::trait::RawAssertable;
pub use super::raw_assert::RawAssert;
pub use super::store::DefaultStore;
pub use super::store::Store;

Macros§

assert_into
A macro that makes it easier to generate assertions into an assertion store