Searched defs:opts (Results 1 - 10 of 10) sorted by relevance

/seL4-l4v-master/l4v/misc/filemerge/faster/
H A Dtranslate.cpp107 static struct option opts[] = { local
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A Dproblems2tptp.sml145 val (opts,work) = value
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A Dproblems2tptp.sml145 val (opts,work) = value
/seL4-l4v-master/HOL4/tools/unicode-grep/
H A Dugrep.sml292 val opts = List.foldl (fn (f,a) => f a) default upds value
[all...]
/seL4-l4v-master/HOL4/src/TeX/
H A Dholindex.sml194 val opts = mungeTools.parseOpts empty_posn ("alltt,"^options); value
H A DmungeTools.sml579 val opts = List.mapPartial (stringOpt pos) toks value
[all...]
/seL4-l4v-master/HOL4/examples/formal-languages/regular/
H A DregexpLib.sml321 let val opts = fst (listSyntax.dest_list row) value
/seL4-l4v-master/HOL4/polyml/basis/
H A DTopLevelPolyML.sml995 val opts = value
/seL4-l4v-master/HOL4/tools/
H A Dbuildutils.sml287 val (opts, rest) = getOpt { argOrder = RequireOrder, value
/seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/
H A DMessage.sml3707 val opts = case remove of PM_REMOVE => 1 | PM_NOREMOVE => 0 value

Completed in 202 milliseconds