Remove an element with a given tag from a tagged meta-list. If the tag does not occur in the source list, the result list is identical to the source one.
The documentation for this struct was generated from the following file:
lib/core/include/meta_list.h
Generated on Tue Jan 28 2025 00:00:00 for Polymake Template Library (PTL) by 1.10.0