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

/seL4-l4v-master/HOL4/src/tactictoe/src/
H A DtacticToe.sig17 val set_timeout : real -> unit value
H A DtacticToe.sml22 fun set_timeout r = (ttt_search_time := r) function
/seL4-l4v-master/HOL4/src/holyhammer/
H A DholyHammer.sig7 val set_timeout : int -> unit value
H A DholyHammer.sml22 fun set_timeout n = timeout_glob := n function

Completed in 57 milliseconds