Searched defs:default (Results 1 - 25 of 45) sorted by relevance

12

/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DKnuthBendixOrder.sig18 val default : kbo value
H A DActive.sig29 val default : parameters value
H A DResolution.sig23 val default : parameters value
H A DResolution.sml29 val default : parameters = value
H A DWaiting.sig54 val default : parameters value
H A DKnuthBendixOrder.sml46 val default = {weight = uniformWeight, precedence = arityPrecedence}; value
H A DClause.sig33 val default : parameters value
H A DClause.sml70 val default : parameters = value
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DKnuthBendixOrder.sig18 val default : kbo value
H A DActive.sig29 val default : parameters value
H A DResolution.sig23 val default : parameters value
H A DResolution.sml29 val default : parameters = value
H A DWaiting.sig54 val default : parameters value
H A DKnuthBendixOrder.sml46 val default = {weight = uniformWeight, precedence = arityPrecedence}; value
H A DClause.sig33 val default : parameters value
/seL4-l4v-master/HOL4/src/portableML/poly/
H A DDynarray.sig14 val default : 'a array -> 'a value
H A DDynarray.sml30 fun default (BLOCK (_, dflt)) = dflt function
/seL4-l4v-master/HOL4/src/portableML/
H A DAList.sig14 val default: ('a * 'a -> bool) -> ('a * 'b) value
H A DAList.sml45 fun default eq (key, value) xs = function
H A DTable.sml40 val default: key * 'a -> 'a table -> 'a table value
292 fun default (key, x) tab = modify key (fn NONE => x | SOME _ => raise SAME) tab; function
/seL4-l4v-master/l4v/misc/stats/
H A Dstats.py133 default=date.today().isoformat()) variable
135 default=".") variable
/seL4-l4v-master/HOL4/examples/machine-code/graph/
H A Ddecompile.py15 default='', variable
/seL4-l4v-master/HOL4/src/n-bit/interactive_tests/
H A Dtest_wordppScript.sml29 val default = ["0w", "1w", "42w", "0x10000w"]; value
/seL4-l4v-master/HOL4/tools/mlyacc/src/
H A Dmkprstruct.sml178 \ let val default = conv_entry(string_to_int())\n\ value
/seL4-l4v-master/HOL4/tools/Holmake/
H A Dparse_glob.sml137 fun default c = function

Completed in 149 milliseconds

12