Re-exports§
pub use num_traits;pub use generativity as guard;
Modules§
- bool
- fin
- int
- iter
- kinds
- linkerror
- loops
- newtype
- ops
- pair
- result
- slice
- term
- transmutable
- type_eq
- unreachable
- var
- vec
- zst
Macros§
- impl_
equiv - impl_
newtype - impl_
transm - impl_
zst - make_
guard - Create a
Guardwith a unique invariant lifetime (with respect to other trusted/invariant lifetime brands). - term
- Define a term, consisting of: