Searched defs:POSIX (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DregexpMatch.sig24 structure POSIX : sig structure
H A DregexpMatch.sml360 structure POSIX = struct structure
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DPosix.sml551 signature POSIX = signature

Completed in 38 milliseconds