Searched defs:vals (Results 1 - 3 of 3) sorted by path

/seL4-l4v-10.1.1/HOL4/examples/elliptic/swsep/
H A DswsepLib.sml176 val vals = ``vals:word4->word32``; value
[all...]
/seL4-l4v-10.1.1/HOL4/src/datatype/mutrec/utils/
H A DelsaUtils.sml114 let val (vals, vars) = split_subst rest value
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DAList.sml94 fun vals _ [] = ([], []) function

Completed in 66 milliseconds