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