blob: a966a4dab8acb8aad6f0698032f32d9b37ec5a97 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
type score = int
val update = plus
val eq_score = eq_int
val show_score = show_int
val sql_score = sql_prim
val sql_summable_score = sql_summable_int
val nullify_score = @@nullify_prim [int] sql_int
val insightful = 1
val undecided = 0
val inane = -1
fun toInt s = s
fun withUnits s base =
show s ^ " " ^ (case s of
1 => base
| _ => base ^ "s")
|