pub fn convert_move_value( env: &GlobalEnv, val: &MoveValue, ty: &BaseType) -> PartialVMResult<TypedValue>