use_algebra/lib.rs
1#![forbid(unsafe_code)]
2#![doc = include_str!("../README.md")]
3
4//! Algebraic-structure utilities for `RustUse`.
5
6pub mod laws;
7pub mod prelude;
8
9pub use laws::{
10 has_inverses, identity_element, is_abelian_group, is_associative, is_closed_under,
11 is_commutative, is_distributive_over, is_group, is_monoid, is_ring,
12};