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

12

/seL4-l4v-10.1.1/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
H A DWaiting.sml49 val default : parameters = value
/seL4-l4v-10.1.1/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-10.1.1/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-10.1.1/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-10.1.1/HOL4/examples/machine-code/graph/
H A Ddecompile.py15 default='', variable
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/
H A Dmkprstruct.sml178 \ let val default = conv_entry(string_to_int())\n\ value
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dparse_glob.sml137 fun default c = function
/seL4-l4v-10.1.1/HOL4/tools/unicode-grep/
H A Dugrep.sml230 val default : t = value

Completed in 83 milliseconds

12