Lines Matching defs:zero
80 val zero = fromInt 0 (* Avoids repeated use of fromInt. *)
82 fun abs (i: int): int = if i >= zero then i else ~ i
91 fun sign i : Int.int = if i = zero then 0 else if i < zero then ~1 else 1
94 if i = zero then j = zero
95 else if i < zero then j < zero
96 else (* i > 0 *) j > zero
139 val negative = i < zero
143 if continuation = zero
186 then toChars(toInt i, chars, zero, 0w0)
194 if i = zero
195 then "0" (* This is the only case where we print a leading zero. *)
260 then read_hex_digits src zero false
264 NONE => SOME(zero, src') (* Accept the 0 *)
276 case read_hex_digits src'' zero false of
277 NONE => SOME(zero, src') (* Accept the 0 *)
281 read_hex_digits src zero false
284 else (* Binary, octal and decimal *) read_digits src zero false