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

/seL4-l4v-master/HOL4/tools/Holmake/tests/recursiveclean/
H A Dselftest.sml4 fun touch p = TextIO.closeOut (TextIO.openOut p) function
/seL4-l4v-master/HOL4/polyml/basis/
H A DWeak.sml46 val touch : 'a ref -> unit value
70 val touch: 'a ref -> unit = RunCall.touch value
H A DForeign.sml2884 fun touch () = touchClosure c function
/seL4-l4v-master/HOL4/tools/Holmake/poly/
H A DProcessMultiplexor.sml86 fun touch (wj : 'a working_job) : 'a working_job = function

Completed in 108 milliseconds