Searched defs:fork (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/portableML/mosml/concurrent/
H A DFuture.sig5 val fork : (unit -> 'a) -> 'a future value
H A DFuture.sml7 val fork = Susp.delay value
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DStandard_Thread.sml14 val fork: params -> (unit -> unit) -> Thread.thread value
56 fun fork (params: params) body = function
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/concurrent/
H A DFuture.sml26 val fork: (unit -> 'a) -> 'a future value
443 fun fork e = function
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DThread.sml63 val fork: (unit->unit) * threadAttribute list -> thread value
384 fun fork(f:unit->unit, attrs: threadAttribute list): thread = function
H A DPosix.sml108 val fork : unit -> pid option value
785 fun fork () = function

Completed in 102 milliseconds