Searched defs:isdir (Results 1 - 1 of 1) sorted by last modified time

/seL4-l4v-master/HOL4/polyml/basis/
H A DPosix.sml45 val isdir : syserror value
638 and isdir = fromWord(getConst 17) value

Completed in 52 milliseconds