Searched defs:KRML_MAYBE_FOR4 (Results 1 – 1 of 1) sorted by relevance
| /external/python/cpython3/Modules/_hacl/include/krml/internal/ |
| D | target.h | 217 # define KRML_MAYBE_FOR4(i, z, n, k, x) KRML_UNROLL_FOR(i, z, 4, k, x) macro
219 # define KRML_MAYBE_FOR4(i, z, n, k, x) KRML_ACTUAL_FOR(i, z, n, k, x) macro
|