Lines Matching refs:check
34 fun check i =
43 val fromLarge = check o fromLarge
44 val fromInt = check o fromInt
46 val ~ = check o ~
47 val op * = check o op *
48 val op + = check o op +
49 val op - = check o op -
50 val op div = check o op div
51 val op mod = check o op mod
52 val quot = check o quot
53 val rem = check o rem
55 val abs = check o abs
59 | SOME (i, s) => SOME (check i, s)
61 val fromString = Option.map check o fromString