_interface_ Int10 1
_exports_
Int10 T1(C1) T2(T2C1 T2C2) T3(T3C1 T3C2 T3C3) T4(T4C1 T4C2 T4C3 T4C4) T5(T5C1 T5C2 T5C3 T5C4 T5C5) T6(T6C6) T7(T7C6 T7C7) ;
_declarations_
1 data T1 a = C1 a;
1 data T2 a b = T2C1 a | T2C2 b ;
1 data T3 a b c = T3C1 a | T3C2 b | T3C3 c ;
1 data T4 a b c d = T4C1 a | T4C2 b | T4C3 c | T4C4 d ;
1 data T5 a b c d e = T5C1 a | T5C2 b | T5C3 c | T5C4 d | T5C5 e ;
1 data T6 a = T6C6 a ;
1 data T7 a b = T7C6 a | T7C7 b ;
1 data T8 a b c = T8C1 a | T8C2 b | T8C3 c ;
1 data T9 a b c d = T9C1 a | T9C2 b | T9C3 c | T9C4 d ;
1 data T10 a b c d e = T10C1 a | T10C2 b | T10C3 c | T10C4 d | T10C5 e ;