Searched defs:settings (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibMetis.sig44 val settings : parameters ref (* Initially defaults *) value
H A DmlibMetis.sml181 val settings = ref defaults; value
/seL4-l4v-10.1.1/l4v/tools/haskell-translator/
H A Dpars_skl.py97 settings = settings.strip () variable
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/bin/
H A Dwrapper.c137 char* settings = "default"; local

Completed in 56 milliseconds