Parameter Make_Simple.A type identitysee S.identitytype keysee S.keytype notificationval get_identity : unit -> identity Lwt.tsee ARG.equal_key