Trait melange::tensor::shape::TRUE

pub unsafe trait TRUE { }

This trait "aliases" B1 (type-level bit one) for use in trait bounds. It is especially useful with type-level binary operators.

Example

use melange::tensor::shape::{Same, TRUE};
 
fn test<S, Z>()
where
    S: Same<Z>, // This bound is required by the following line
    <S as Same<Z>>::Output: TRUE // Constrains "S Same Z" hold (Output = B1)
{}

Implementations on Foreign Types

impl TRUE for B1

Loading content...

Implementors

Loading content...