signature DBMS = sig
- type handler = {adduser : string -> string option}
+ val validDbname : string -> bool
+
+ type handler = {getpass : (unit -> Client.passwd_result) option,
+ adduser : {user : string, passwd : string option} -> string option,
+ createdb : {user : string, dbname : string} -> string option}
val register : string * handler -> unit
val lookup : string -> handler option