blob: d3e3e18c36600652575d81cab2522712131a33ff (
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
|
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
|