Searched defs:arr (Results 1 - 5 of 5) sorted by last modified time

/seL4-l4v-master/HOL4/polyml/basis/
H A DWindows.sml499 val arr = Word8Array.array(len+1, 0w0) value
513 val arr = Word8Array.array(len, 0w0) value
531 val arr = Word8Array.array(4, 0w0) value
H A DWeak.sml56 val arr = RunCall.allocateWordMemory(Word.fromInt n, 0wx60, v) value
H A DSocket.sml659 val arr = Word8Array.array(size, 0w0); value
668 val arr = Word8Array.array(size, 0w0); value
695 val arr = Word8Array.array(size, 0w0); value
705 val arr value
[all...]
/seL4-l4v-master/HOL4/src/AI/
H A DaiLib.sml399 val arr = Array.fromList l value
411 val arr = Array.fromList l value
[all...]
/seL4-l4v-master/HOL4/src/parse/
H A DParse_support.sml521 val (arr, E') = value

Completed in 57 milliseconds