diff options
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 |