blob: 48bbc016cc559d36dd29092dd3071c7e3d447c65 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
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
|