Type Alias UpdatePtr 

pub type UpdatePtr<D> = for<'a> fn(Cv<'a, D>, Box<dyn Update<'a, <D as DataT>::V<'a>> + 'a>) -> ValXs<'a, <D as DataT>::V<'a>>;

Update function pointer (see Id::update).