Searched defs:new_id (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DKernelSig.sig14 val new_id : kernelname -> kernelid value
H A DKernelSig.sml18 fun new_id n = ref (n, true) function
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/concurrent/
H A DTask_Queue.sml53 val new_id = Counter.make (); value
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibClause.sml100 val new_id = new_int; value
H A DmlibModel.sml304 val new_id = Portable.make_counter{inc=1,init=0} value

Completed in 48 milliseconds