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

/seL4-l4v-master/HOL4/examples/separationLogic/src/
H A DseparationLogicLib.sml56 val (rest_args, elim_args) = split_vars (rev l_args) [] value

Completed in 56 milliseconds