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

/seL4-l4v-10.1.1/HOL4/tools/Holmake/tests/empty_script/
H A Dselftest.sml2 val cd = OS.FileSys.chDir value
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DPortable.sig208 val cd: string -> unit value
H A DPortable.sml577 val cd = FileSys.chDir value
/seL4-l4v-10.1.1/HOL4/tools/
H A Dbuildutils.sml836 val cd = OS.FileSys.getDir() value

Completed in 171 milliseconds