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