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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbddtree.h49 struct s_BddTree *nextlevel; member in struct:s_BddTree
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DParse.sml1241 val nextlevel = Path.concat (checked, x) value

Completed in 41 milliseconds