A type to represent integers in the type system. More...
#include <lintrans.h>
A type to represent integers in the type system.
Definition at line 13 of file lintrans.h.