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

/seL4-l4v-master/HOL4/polyml/basis/
H A DStringSignatures.sml30 val succ : char -> char value
H A DString.sml150 fun succ c = if ord c = maxOrd then raise Chr else chr(ord c + 1) function
/seL4-l4v-master/HOL4/src/probability/
H A DhurdUtils.sig59 val succ : int -> int value
H A DhurdUtils.sml121 val succ = plus 1; value

Completed in 65 milliseconds