Searched defs:exit (Results 1 - 16 of 16) sorted by path

/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/
H A Dcore_decompilerLib.sml383 val exit = (all_distinct o map last o filter (not o is_loop)) paths value
/seL4-l4v-10.1.1/HOL4/examples/machine-code/decompiler/
H A DdecompilerLib.sml555 val exit = (all_distinct o map last o filter (not o is_loop)) paths value
575 val exit = diff (all_distinct (append_lists (map snd loops))) entry value
1846 val exit = snd (last loops) value
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DOS.sml101 val exit : status -> 'a value
1150 fun exit (n: int) = function
H A DPosix.sml131 val exit : Word8.word -> 'a value
855 fun exit w = function
H A DThread.sml65 val exit: unit -> unit value
396 val exit: unit -> unit = RunCall.rtsCallFull0 "PolyThreadKillSelf" value
H A DUnix.sml41 val exit : Word8.word -> 'a value
63 val exit : Word8.word -> 'a value
219 fun exit w = OS.Process.exit(toStatus (W_EXITSTATUS w)) function
H A DWindows.sml145 val exit : Status.status -> 'a value
638 fun exit (s: Status.status) = function
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DPortable.sig211 val exit: unit -> 'a value
H A DPortable.sml582 fun exit() = Process.exit Process.success function
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dbasis2002.sml521 val exit : status -> 'a value
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DOptions.sig77 val exit : allOptions -> optionExit -> 'exit value
H A DOptions.sml165 fun exit (allopts : allOptions) (optexit : optionExit) = function
H A Dmetis.sml100 fun exit x : unit = Options.exit programOptions x; function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DOptions.sig77 val exit : allOptions -> optionExit -> 'exit value
H A DOptions.sml165 fun exit (allopts : allOptions) (optexit : optionExit) = function
H A Dmetis.sml100 fun exit x : unit = Options.exit programOptions x; function

Completed in 130 milliseconds