Module type Eliom_notif.ARG_SIMPLEARG_SIMPLE is for making Make_Simple type identitysee S.identitytype keysee S.keytype notificationval get_identity : unit -> identity Lwt.tsee ARG.equal_key