type_level_logic/types/
mod.rs

1//! The `types` module contains the base types for type-level primitives, as well as the "kind"
2//! traits, which are used to emulate the idea of a kind (a "type-of-types".) The type operators
3//! themselves are kept in the `strong` module, in preparation for the eventual support of both
4//! "weak" (SFINAE-style) and "strong" (trait bounds *always* required) type operators.
5
6pub mod boolean;
7pub mod ternary;
8pub mod balanced;