Searched defs:proj_names (Results 1 – 2 of 2) sorted by relevance
1302 Z3_symbol proj_names[2]; in tuple_example1() local
1303 Z3_symbol proj_names[2]; in tuple_example1() local