cast_vector<C extends CandidType> method

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

Implementation

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