Trait tract_hir::infer::rules::expr::ToDimExp

source · 
pub trait ToDimExp {
    // Required method
    fn to_dim(self) -> Exp<DimFact>;
}

Required Methods§

source

fn to_dim(self) -> Exp<DimFact>

Implementors§