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

/seL4-l4v-master/HOL4/src/AI/sml_inspection/
H A DsmlParallel.sml299 fun is_running x = mem x (map fst runningl) function

Completed in 29 milliseconds