ssa_traits

Trait Term

Source 
pub trait Term<F: Func + ?Sized>: HasValues<F> + Term<F, Target: Target<F>> { }

Implementors§

Source§

impl<F: Func + ?Sized, T: HasValues<F> + Term<F, Target: Target<F>>> Term<F> for T