Expand description

Types used to represent values at compile-time, eg: True/False.

Modules

Type-level booleans.

Type-level enum representing whether a DynTrait/RObject/#[sabi_trait]-generated trait object can be converted back into the concrete type they were constructed with.

Type-level-enum representing whether a trait is implemented or not implemented.

Marker types representing traits.