Previous  Up  

Module type Eliom_notif.ARG_SIMPLE

module type ARG_SIMPLE = sig .. end

ARG_SIMPLE is for making Eliom_notif.Make_Simple

type identity

see Eliom_notif.S.identity

type key

see Eliom_notif.S.key

type notification 
val get_identity : unit -> identity Lwt.t

see Eliom_notif.ARG.equal_key