pub fn exists_impl( context: &mut NativeContext<'_, '_, '_>, ty_args: Vec<Type>, args: VecDeque<Value>, ) -> PartialVMResult<NativeResult>