hash_map <key, value> = 
{
  @const
  {
    ...
  }

  @data -w 
  {
    ...
  }

  @desc
  {
    hash_map -|* <key, value> ++ hash_table <key, value>;
  }
};

hash_set <element> = 
{
  @const
  {
    ...
  }

  @data -w 
  {
    ...
  }

  @desc
  {
    hash_set -|* <element> ++ hash_table <.key = element, 
                                          .value = int>;
  }
};

array_hash_table <key, value> = 
{
  @const
  {
    ...
  }

  @data -w 
  {
    ...
  }

  @desc
  {
    array_hash_table -|* <key, value> ++ hash_map <key, value>
                                      ++ array_list <key, value>;
  }
};
