pub fn update_ref_vector_element(self, elem_num: usize, elem_val: TypedValue) -> TypedValue {
        let (elem_ty, elem_val, _) = elem_val.decompose();
        let (vec_ty, vec_val, vec_ptr) = self.decompose();
        let elem = vec_ty.into_ref_vector_elem(Some(true));
        if cfg!(debug_assertions) {
            assert!(elem_ty.is_ref_of(&elem, Some(true)));
        }
        let mut elems = vec_val.into_vector();
        *elems.get_mut(elem_num).unwrap() = elem_val;
        TypedValue {
            ty: Type::mk_ref_vector(elem, true),
            val: BaseValue::mk_vector(elems),
            ptr: vec_ptr,
        }
    }
/// Update an element in the vector, creates a new vector that contains the update
Update an element in the vector, creates a new vector that contains the update
Update an element in the vector creates a new vector that contains the update
pub fn update_ref_vector_element(self, elem_num: usize, elem_val: TypedValue) -> TypedValue {
        let (elem_ty, elem_val, _) = elem_val.decompose();
        let (vec_ty, vec_val, vec_ptr) = self.decompose();
        let elem = vec_ty.into_ref_vector_elem(Some(true));
        if cfg!(debug_assertions) {
            assert!(elem_ty.is_ref_of(&elem, Some(true)));
        }
        let mut elems = vec_val.into_vector();
        *elems.get_mut(elem_num).unwrap() = elem_val;
        TypedValue {
            ty: Type::mk_ref_vector(elem, true),
            val: BaseValue::mk_vector(elems),
            ptr: vec_ptr,
        }
    }
pub fn update_ref_vector_element ( self , elem_num : usize , elem_val : TypedValue ) -> TypedValue { let ( elem_ty , elem_val , _ ) = elem_val . decompose ( ) ; let ( vec_ty , vec_val , vec_ptr ) = self . decompose ( ) ; let elem = vec_ty . into_ref_vector_elem ( Some ( true ) ) ; if cfg ! ( debug_assertions ) { assert ! ( elem_ty is_ref_of ( elem Some ( true ) ) ) ; } let mut elems = vec_val . into_vector ( ) ; * elems . get_mut ( elem_num ) . unwrap ( ) = elem_val ; TypedValue { ty : Type :: mk_ref_vector ( elem , true ) , val : BaseValue :: mk_vector ( elems ) , ptr : vec_ptr , } }
Update an element in the vector, creates a new vector that contains the update
Update an element in the vector creates a new vector that contains the update
self
elem_num
usize
elem_val
TypedValue