sig
  type identity
  type key
  type notification
  val get_identity : unit -> Eliom_notif.ARG_SIMPLE.identity Lwt.t
end