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

/seL4-l4v-master/HOL4/tools/Holmake/
H A DHolmake_tools.sig122 val chdir : t -> unit value
H A DHolmake_tools.sml491 fun chdir ({absdir,...}: t) = OS.FileSys.chDir absdir function
/seL4-l4v-master/HOL4/polyml/basis/
H A DPosix.sml197 val chdir : string -> unit value
1031 and chdir = OS.FileSys.chDir value

Completed in 96 milliseconds