Module `Client_keys.Aggregate_alias`

Aggregate_alias contains the implementation needed for the wallet to have the correspondence between aliases and keys. It has three sub-module Public_key Public_key_hash Secret_key. The reason of a sub-module inside a sub-module is not confuse them with the alias module for the standard signature (i.e. Public_key, Public_key_hash, and Secret_key).

On possible refactor would be to move the alias definition in Mavryk_crypto.Aggregate_signature (resp. Mavryk_crypto.Signature).

See Client_aliases for more information about Aliases.

module Public_key_hash : 
  Client_aliases.Alias
    with type t = Mavryk_crypto.Aggregate_signature.Public_key_hash.t

module Public_key : 
  Client_aliases.Alias
    with type t =
           aggregate_pk_uri
           * Mavryk_crypto.Aggregate_signature.Public_key.t option

module Secret_key : Client_aliases.Alias with type t = aggregate_sk_uri