Trait tract_core::analyser::rules::expr::ToDimExp

pub trait ToDimExp {
    fn to_dim(self) -> Exp<DimFact>;
}

Required methods

fn to_dim(self) -> Exp<DimFact>

Loading content...

Implementors

impl ToDimExp for Exp<IntFact>

fn to_dim(self) -> Exp<DimFact>

Loading content...