Searched defs:succ (Results 1 - 8 of 8) sorted by path

/seL4-l4v-10.1.1/HOL4/examples/diningcryptos/
H A DformalizeUseful.sig61 val succ : int -> int value
H A DformalizeUseful.sml106 val succ = plus 1; value
H A DsubtypeUseful.sig61 val succ : int -> int value
H A DsubtypeUseful.sml106 val succ = plus 1; value
/seL4-l4v-10.1.1/HOL4/examples/miller/useful/
H A DHurdUseful.sig60 val succ : int -> int value
H A DHurdUseful.sml104 val succ = plus 1; value
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DString.sml150 fun succ c = if ord c = maxOrd then raise Chr else chr(ord c + 1) function
H A DStringSignatures.sml30 val succ : char -> char value

Completed in 158 milliseconds