diff options
Diffstat (limited to 'forum/entryClass.urs')
| -rw-r--r-- | forum/entryClass.urs | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/forum/entryClass.urs b/forum/entryClass.urs new file mode 100644 index 0000000..acd5c79 --- /dev/null +++ b/forum/entryClass.urs @@ -0,0 +1,11 @@ +type entryClass + +val question : entryClass +val answer : entryClass + + +(********************************* Instances *********************************) + +val eq_entryClass : eq entryClass + +val sql_entryClass : sql_injectable entryClass |