Searched defs:exit_status (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/HOL4/tools/Holmake/poly/
H A DProcessMultiplexor.sig11 type exit_status = Posix.Process.exit_status type
H A DProcessMultiplexor.sml13 type exit_status = Posix.Process.exit_status type
/seL4-l4v-master/HOL4/polyml/basis/
H A DUnix.sml25 datatype exit_status type
51 datatype exit_status = datatype Posix.Process.exit_status type
74 datatype exit_status = datatype Posix.Process.exit_status type
H A DPosix.sml115 datatype exit_status = type
763 datatype exit_status = type

Completed in 77 milliseconds