Searched defs:opts (Results 1 - 11 of 11) sorted by path
| /seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/ |
| H A D | regexpLib.sml | 173 let val opts = fst (listSyntax.dest_list row) value
|
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | TopLevelPolyML.sml | 995 val opts = value
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/ |
| H A D | dlmalloc.c | 3992 ialloc(mstate m, size_t n_elements, size_t* sizes, int opts, void* chunks[]) argument
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
| H A D | Message.sml | 3707 val opts = case remove of PM_REMOVE => 1 | PM_NOREMOVE => 0 value
|
| /seL4-l4v-10.1.1/HOL4/src/TeX/ |
| H A D | holindex.sml | 192 val opts = mungeTools.parseOpts empty_posn ("alltt,"^options); value
|
| H A D | mungeTools.sml | 542 val opts = List.mapPartial (stringOpt pos) toks value
[all...] |
| /seL4-l4v-10.1.1/HOL4/tools/ |
| H A D | buildutils.sml | 284 val (opts, rest) = getOpt { argOrder = RequireOrder, value
|
| /seL4-l4v-10.1.1/HOL4/tools/unicode-grep/ |
| H A D | ugrep.sml | 284 val opts = List.foldl (fn (f,a) => f a) default upds value
[all...] |
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | problems2tptp.sml | 145 val (opts,work) = value
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | problems2tptp.sml | 145 val (opts,work) = value
|
| /seL4-l4v-10.1.1/l4v/misc/filemerge/faster/ |
| H A D | translate.cpp | 112 static struct option opts[] = { local
|
Completed in 141 milliseconds