Tag1 Struct Reference

Detailed Description

Definition at line 9 of file tagged_integer.cpp.