Searched defs:creat (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-master/HOL4/polyml/basis/ | ||
H A D | Posix.sml | 239 val creat : string * S.mode -> file_desc value 1100 fun creat(s, m) = createf(s, O_WRONLY, O.trunc, m) function |
Completed in 43 milliseconds