pub trait ConstTy<I: Interner> {
    // Required method
    fn ty(self) -> I::Ty;
}

Required Methods§

source

fn ty(self) -> I::Ty

Implementors§