Type Definition Contracted
diffgeom::tensors
type Contracted<V, Ul, Uh> = <V as Contract<Ul, Uh>>::Output;
Helper type for contraction