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

/seL4-l4v-10.1.1/HOL4/tools/Holmake/poly/
H A DProcessMultiplexor.sig22 type monitor = monitor_message -> client_cmd option type
H A Dmultibuild.sml27 val monitor = value
H A DMB_Monitor.sml179 fun monitor msg = function
H A DProcessMultiplexor.sml43 type monitor = monitor_message -> client_cmd option type
303 fun monitor msg (acc as (cmds, wl)) = function

Completed in 18 milliseconds