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

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

Completed in 52 milliseconds