Searched refs:buff (Results 26 - 27 of 27) sorted by relevance
12
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
| H A D | Menu.sml | 196 getStringWithNullIsLength(fn (buff, n) => getMenuString(h,i,buff,n,f))
|
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | BasicStreamIO.sml | 588 val buff = Array.array(buffSize, someElem); value
593 ArraySlice.copyVec{src=VectorSlice.slice(v, p+i, SOME toCopy), dst=buff, di=0}
594 val written = wa(ArraySlice.slice(buff, 0, SOME toCopy))
|
Completed in 51 milliseconds
12