Searched refs:numLiftIO (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-10.1.1/l4v/tools/haskell-translator/ | ||
H A D | lhs_pars.py | 1415 numLiftIO = [0] variable 1433 numLiftIO[0] = numLiftIO[0] + 1 1434 rhs = '(%d :: Int) %s' % (numLiftIO[0], ' '.join(bits[1:])) |
Completed in 81 milliseconds