object
  method edit_token : Datatypes.token
  method get_call : Datatypes.query -> Call.call
  method is_valid : bool
  method logout : unit -> unit
  method maxlag : int
  method post_call : Datatypes.query -> Call.call
  method save : string
  method set_maxlag : int -> unit
  method site : Datatypes.site
  method upload_call : Datatypes.query -> string -> Call.call
  method userid : WTypes.user_t WTypes.Id.t
  method username : string option
end