Type Alias TargetI

pub type TargetI<F> = <TermI<F> as Term<F>>::Target;