Searched defs:tab (Results 1 - 23 of 23) sorted by relevance

/seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/
H A DComboBase.sml28 val tab = [ value
H A DMenuBase.sml34 val tab = [ value
H A DLocaleBase.sml79 val tab = [ value
129 val tab = [ value
H A DScrollBase.sml56 val tab = [ value
H A DWinBase.sml178 val tab = [ value
H A DFontBase.sml27 val tab = [ value
46 val tab = [ value
126 val tab = [ value
148 val tab = [ value
H A DScrollbar.sml106 val tab = [ value
121 val tab = [ value
H A DMenu.sml159 val tab = [ value
221 val tab = [ value
242 val tab = [ value
483 val tab = [ value
H A DBitmap.sml123 val tab = [ value
224 val tab = [ value
H A DDeviceBase.sml28 val tab = [ value
41 val tab = [ value
63 val tab = [ value
75 val tab = [ value
85 val tab = [ value
97 val tab = [ value
110 val tab = [ value
121 val tab = [ value
133 val tab = [ value
147 val tab = [ value
173 val tab = [ value
[all...]
H A DFont.sml183 val tab = [ value
204 val tab = [ value
292 val tab = [ value
H A DGdiBase.sml92 val tab = [ value
189 val tab = [ value
232 val tab = [ value
H A DDeviceContext.sml408 val tab = [ value
435 val tab = [ value
H A DBase.sml683 val tab = [ value
H A DMessage.sml786 val tab = [ value
812 val tab = [ value
826 val tab = [ value
841 val tab = [ value
855 val tab = [ value
932 val tab = [ value
962 val tab = [ value
1007 val tab = value
3812 val tab = [ value
[all...]
/seL4-l4v-master/HOL4/src/prekernel/
H A DKernelSig.sml[all...]
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/
H A DCOPIER.sml270 val tab = makeSignatureTable (); value
[all...]
/seL4-l4v-master/HOL4/src/parse/
H A Dtype_pp.sml173 fun tab i = str (Char.chr (Char.ord #"e" + i)) function
H A Dterm_grammar.sml1035 val tab = ref (Binarymap.mkDict String.compare) value
/seL4-l4v-master/HOL4/src/portableML/
H A DGraph.sml[all...]
/seL4-l4v-master/HOL4/src/metis/
H A DmlibTermorder.sml330 val tab = if not (mem v vars') then tab else add (v,~1,tab) value
338 val tab = foldl init (B.mkDict String.compare) vars' value
356 val tab = mk_table parm vars1 vars2 mapl value
[all...]
H A DmlibModel.sml642 val tab = head @ map (fn y => i2s y :: "" :: map (f y) l) l value
/seL4-l4v-master/HOL4/examples/muddy/
H A Dbdd.sml234 val tab = Array.array(nc,NONE) value

Completed in 149 milliseconds