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

/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DPosix.sml385 val home : passwd -> string value
1417 and home: passwd->string = #4 value

Completed in 92 milliseconds