Trait Tys

pub trait Tys<I: Interner<Tys = Self>>:
    Copy
    + Debug
    + Hash
    + Eq
    + SliceLike<Item = I::Ty>
    + TypeFoldable<I>
    + Default {
    // Required methods
    fn inputs(self) -> I::FnInputTys;
    fn output(self) -> I::Ty;
}

Required Methods

fn inputs(self) -> I::FnInputTys

fn output(self) -> I::Ty

Object Safety

This trait is not object safe.

Implementors