Type Alias TermI

pub type TermI<F> = <BlockI<F> as Block<F>>::Terminator;