diff options
Diffstat (limited to 'forum/score.ur')
| -rw-r--r-- | forum/score.ur | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/forum/score.ur b/forum/score.ur new file mode 100644 index 0000000..48bbc01 --- /dev/null +++ b/forum/score.ur @@ -0,0 +1,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 |