Type Alias Cv 

pub type Cv<'a, D, T = <D as DataT>::V<'a>> = (Ctx<'a, D>, T);

Combination of context and input value.