Add additional nat types.

This commit is contained in:
Ion Gaztañaga
2018-09-09 00:24:00 +02:00
parent ed05d54ebc
commit e25607d88e

View File

@ -67,6 +67,8 @@ typedef bool_<false> false_;
// nat
//////////////////////////////////////
struct nat{};
struct nat2{};
struct nat3{};
//////////////////////////////////////
// yes_type/no_type