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

/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DFunctionalRecordUpdate.sml26 fun f21 z = next f20 z function
/seL4-l4v-10.1.1/HOL4/examples/decidable_separationLogic/src/
H A Ddecidable_separationLogicLib.sml1096 val (f21, f22, e2, _) = dest_sf_bin_tree sf2; value
1108 val (f21, f22, _, _) = dest_sf_bin_tree sf2; value

Completed in 66 milliseconds