glucose/
lib.rs

1#![allow(unused)]
2#![deny(unused_imports)]
3
4#[cfg(feature = "algebra")]
5pub mod algebra;
6#[cfg(feature = "groups")]
7pub mod group_theory;
8pub mod impls;
9
10#[macro_use]
11pub mod util;
12// this allows syntax like:
13// impl<T, const N: usize> Vector<T, { N }> where Assert::<N > 3>: IsTrue { }
14// TODO: wait for 76560 => restrict ops impls so manual impls can also use ops
15// enum Assert<const Check: bool> {}
16//
17// trait IsTrue {}
18//
19// impl IsTrue for Assert<true> {}