Trait Predicate 

pub trait Predicate {
    // Required method
    fn holds() -> bool;
}

Trait for type-level predicates

Required Methods

fn holds() -> bool

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<const M: usize, const N: usize, const P: usize> Predicate for CompatibleDims<M, N, P>

impl<const N: usize> Predicate for IsEven<N>