Searched refs:get_next_unique_id (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/l4v/tools/haskell-translator/
H A Dlhs_pars.py1777 v = 'v%d' % get_next_unique_id()
2387 def get_next_unique_id(): function
2402 bits[j] = 'v%d' % get_next_unique_id()
2478 ids.append(get_next_unique_id())

Completed in 5 milliseconds