3 /* This is the code generated by cbindgen 0.12.1 for the `enum TT`
4 * type in nonclike.rs . */
9 typedef uint8_t TT_Tag;
23 /* This is the code generated by cbindgen 0.12.1 for the `enum T` type
29 typedef uint8_t T_Tag;
42 uint64_t tt_add(TT a, TT b) {
43 if (a.tag == AA && b.tag == AA) {
44 return a.aa._0 + a.aa._1 + b.aa._0 + b.aa._1;
45 } else if (a.tag == AA) {
46 return a.aa._0 + a.aa._1;
47 } else if (b.tag == BB) {
48 return b.aa._0 + b.aa._1;
54 uint64_t t_add(T a, T b) {
55 if (a.tag == A && b.tag == A) {
56 return a.a._0 + b.a._0;
57 } else if (a.tag == AA) {
59 } else if (b.tag == BB) {
66 TT tt_new(uint64_t a, uint64_t b) {