summaryrefslogtreecommitdiff
path: root/forum/entryClass.urs
blob: acd5c7915f303ba09c4c8e3ea4bf80966a8871ad (plain)
1
2
3
4
5
6
7
8
9
10
11
type entryClass

val question : entryClass
val answer : entryClass


(********************************* Instances *********************************)

val eq_entryClass : eq entryClass

val sql_entryClass : sql_injectable entryClass