Searched defs:dir (Results 26 - 27 of 27) sorted by relevance

12

/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DTopLevelPolyML.sml660 val dir = findInt (Context(3, Primitive)) tdList value
H A DFinalPolyML.sml753 val {dir, file } = OS.Path.splitDirFile name value
914 val (dir : string, file : string) = value
1153 val dir = value
[all...]

Completed in 42 milliseconds

12