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

/seL4-l4v-master/HOL4/src/HolQbf/
H A DQbfLibrary.sml56 val (next_index, vars, body) = enumerate_quantified_vars body value
/seL4-l4v-master/HOL4/examples/machine-code/graph/
H A DstraightlineLib.sml18 fun next_index () = (index := (!index) + 1; (!index)) function

Completed in 42 milliseconds