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