In general a reduction of a type T produce a type T. More...
#include <reduce_type.hpp>
In general a reduction of a type T produce a type T.
Definition at line 5 of file reduce_type.hpp.