diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2013-04-30 13:38:02 -0400 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2013-04-30 13:38:02 -0400 |
commit | b2dc3a9199369af04cf3ee9db0d1ebb5576a594b (patch) | |
tree | 538dc6f0a54cd47dfcab54adfb337608ad374382 /forum/author.urs | |
parent | 63fc8aaf40dfd70129a8d8ae1eed71b43c889591 (diff) |
Forum: Rename “asker” to “author”
Diffstat (limited to 'forum/author.urs')
-rw-r--r-- | forum/author.urs | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/forum/author.urs b/forum/author.urs new file mode 100644 index 0000000..619aced --- /dev/null +++ b/forum/author.urs @@ -0,0 +1,17 @@ +type author + +val anonymous : author +val namedAuthor : string -> author + + +(********************************* Instances *********************************) + +val eq_author : eq author + +val show_author : show author + +(* 'read' producing an 'author' is guaranteed to never fail, so you can use +'readError' with impunity. *) +val read_author : read author + +val sql_author : sql_injectable author |