blob: 616d1b606a620fc97aed028e86ff6956df1301d4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
type score
val insightful : score
val undecided : score
val inane : score
(********************************* Instances *********************************)
val eq_score : eq score
val show_score : show score
val sql_score : sql_injectable score
val sql_summable_score : sql_summable score
val nullify_score : nullify score (option score)
(********************************* Updating **********************************)
val update : score -> score -> score
(******************************** Conversion *********************************)
val toInt : score -> int
(****************************** Pretty-printing ******************************)
val withUnits : score -> string -> string
|