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

/seL4-l4v-master/HOL4/tools/Holmake/poly/
H A DProcessMultiplexor.sig26 type monitor = monitor_message -> client_cmd option type
H A Dmultibuild.sml47 val monitor = value
H A DMB_Monitor.sml215 fun monitor msg = function
H A DProcessMultiplexor.sml44 type monitor = monitor_message -> client_cmd option type
309 fun monitor msg (acc as (cmds, wl)) = function

Completed in 95 milliseconds