Polymake Template Library (PTL) 4.12
|
#include <type_utils.h>
Inherited by pm::GenericIOoptions< Top, Options, subst_pos >::subst_helper< mtagged_list_replace< Options, OptionInst >::type >.
Replace the template parameter with the given ordinal number with the given value. Enumeration starts with 0. For out-of-bound numbers, the result equals the input type.