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

/seL4-l4v-master/HOL4/examples/HolCheck/
H A DenvTools.sml107 val (suff,suff') = ListPair.unzip suffix value
/seL4-l4v-master/HOL4/tools/unicode-grep/
H A Dugrep.sml183 fun suff s = isSuffix s base function
/seL4-l4v-master/HOL4/examples/machine-code/decompiler/
H A DdecompilerLib.sml1840 val suff = int_to_string (length loops) value

Completed in 157 milliseconds