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

/seL4-l4v-master/HOL4/polyml/basis/
H A DThread.sml436 val me = self() value
456 val me = self() value
618 val me = self() (* My thread id. *) value
[all...]
/seL4-l4v-master/HOL4/tools/
H A Dbuildutils.sml39 val me = Systeml.find_my_path() value

Completed in 39 milliseconds