Method deallocate

Eigen/src/Core/util/Memory.h:745–748

  }

  void deallocate(pointer p, size_type /*num*/)
  {
    internal::aligned_free(p);
  }
};

//---------- Cache sizes ----------