cast_vector<C extends CandidType> method

Vector<C> cast_vector<C extends CandidType>()

Implementation

Vector<C> cast_vector<C extends CandidType>() => Vector.oftheList<C>(this.cast<C>());