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

/seL4-l4v-master/HOL4/src/compute/src/
H A DcomputeLib.sml174 let val new_state = (clos, Cbv_rand{Rator=(mka,false,hcl), Ctx=Ctx}) in value

Completed in 30 milliseconds