mCRL2
|
#include <algorithm_impl.h>
Public Types | |
typedef Container::value_type | type |
Definition at line 54 of file algorithm_impl.h.
typedef Container::value_type atermpp::detail::iterator_value< std::front_insert_iterator< Container > >::type |
Definition at line 56 of file algorithm_impl.h.