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

/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DPolyVectorOperations.sml175 val len1 = length vec1 and len2 = length vec2 value
H A DVectorOperations.sml179 val len1 = length vec1 and len2 = length vec2 value
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/
H A DfunCall.sml337 val len1 = if len < (!numAvaiRegs) then len else (!numAvaiRegs) value
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/
H A DfunCall.sml334 val len1 = if len < (!numAvaiRegs) then len else (!numAvaiRegs) value
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/
H A DRegexp_Match.sml73 let val len1 = n div 2 value
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A DfunCall.sml349 val len1 = if len < (!numAvaiRegs) then len else (!numAvaiRegs) value

Completed in 154 milliseconds