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 Tezos_crypto.Aggregate_signature (resp. Tezos_crypto.Signature).
See Client_aliases for more information about Aliases.
module Public_key_hash :
Client_aliases.Alias
with type t = Tezos_crypto.Aggregate_signature.Public_key_hash.tmodule Public_key :
Client_aliases.Alias
with type t =
aggregate_pk_uri
* Tezos_crypto.Aggregate_signature.Public_key.t optionmodule Secret_key : Client_aliases.Alias with type t = aggregate_sk_uri