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

/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DWindows.sml323 val arr = Word8Array.array(len+1, 0w0) value
337 val arr = Word8Array.array(len, 0w0) value
355 val arr = Word8Array.array(4, 0w0) value
H A DWeak.sml46 val arr = RunCall.allocateWordMemory(Word.fromInt n, 0wx60, v) value
H A DSocket.sml567 val arr = Word8Array.array(size, 0w0); value
576 val arr = Word8Array.array(size, 0w0); value
603 val arr = Word8Array.array(size, 0w0); value
613 val arr value
[all...]
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DParse_support.sml521 val (arr, E') = value

Completed in 54 milliseconds