diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2013-05-02 17:32:56 -0400 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2013-05-02 17:32:56 -0400 |
commit | 7361fa236b9221f686e0dd58d7a9ae870a8c7c7e (patch) | |
tree | e25d33e7a8c9d17be79bc3c27ca2ada329721ea4 /forum/entryClass.urs | |
parent | 3f4e4e506afe8f30e5114327863eddb2cc512fc3 (diff) |
Forum: Add answering support
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 |