Searched defs:rve (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ | ||
| H A D | realconv.cpp | 3662 nrv_alloc(s, rve, n) char *s, **rve; int n; variable 3736 double dd; int mode, ndigits, *decpt, *sign; char **rve; variable [all...] |
Completed in 61 milliseconds