sig
  val login : Datatypes.site -> string -> string -> Datatypes.session
  val anonymous_login : Datatypes.site -> Datatypes.session
  val relogin : Datatypes.site -> string -> Datatypes.session
end