blob: 99be7114fb01c69953e56ce8ecadcbefdb280a0c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
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
|