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/asker.urs | |
parent | 63fc8aaf40dfd70129a8d8ae1eed71b43c889591 (diff) |
Forum: Rename “asker” to “author”
Diffstat (limited to 'forum/asker.urs')
-rw-r--r-- | forum/asker.urs | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/forum/asker.urs b/forum/asker.urs deleted file mode 100644 index 99be711..0000000 --- a/forum/asker.urs +++ /dev/null @@ -1,17 +0,0 @@ -type asker - -val anonymous : asker -val namedAsker : string -> asker - - -(********************************* Instances *********************************) - -val eq_asker : eq asker - -val show_asker : show asker - -(* 'read' producing an 'asker' is guaranteed to never fail, so you can use -'readError' with impunity. *) -val read_asker : read asker - -val sql_asker : sql_injectable asker |