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

/seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/
H A DStringChar.sml48 val splitAt = fn (s, i) => splitAt(s, FixedInt.fromInt i) value
/seL4-l4v-master/HOL4/polyml/basis/
H A DStringSignatures.sml148 val splitAt : (substring * int) -> (substring * substring) value
H A DString.sml1296 val splitAt : (substring * int) -> (substring * substring) value
1471 fun splitAt (Slice{vector=s, start=i, length=l}, j) = function

Completed in 37 milliseconds