Module type_level

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

Modules

bools

Type-level booleans.

downcasting

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.

impl_enum

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

trait_marker

Marker types representing traits.