Module Os_notif

module Os_notif : sig..end

Server to client notifications.

This module is a version of Eliom_notif that fixes the types identity of Eliom_notif.S to Os_types.User.id option (option so that users can be notified that are not logged in). It takes care of (de)initialisation so init and deinit need not be called anymore. Also it adds a specialised version of unlisten_user.

module type S = sig..end

module type ARG = sig..end

module Make : functor (A : ARG) -> 
  
  S
    with type key = A.key
     and type server_notif = A.server_notif
     and type client_notif = A.client_notif

module type ARG_SIMPLE = sig..end

module Make_Simple : functor (A : ARG_SIMPLE) -> 
  
  S
    with type key = A.key
     and type server_notif = A.notification
     and type client_notif = A.notification