1 /*
2 # This file is part of libkd.
3 # Licensed under a 3-clause BSD style license - see LICENSE
4 */
5 
6 typedef u32 ttype;
7 
8 #define BIGTTYPE u64
9 #define BIGTTYPE_MAX UINT64_MAX
10 typedef u64 bigttype;
11 
12 #define TTYPE_INTEGER 1
13 
14 #define TTYPE_MIN 0
15 #define TTYPE_MAX UINT32_MAX
16 #define TTYPE_SQRT_MAX UINT16_MAX
17 
18 #define TTYPE u
19 #define TTYPE_M u
20