class key_ring :?uplink:#key_handler -> ?no_invalidation:bool -> unit ->
object
..end
The key_ring
is a cache for keys. The optional uplink
handler
is invoked when no matching key is found in the cache. The uplink
is intended for interactively asking the user for a password.
If no_invalidation
is set, keys are never invalidated (removed after
they did not work)
method clear : unit -> unit
Deletes all keys from this key ring
method add_key : key -> unit
Adds a key to the ring
method keys : key list
List of all known keys