Parameter Make_Simple.A

type identity
type key

see S.key

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