What is the code to get the download link for a product in WooCommerce?

I’m trying to add the direct download link of a product to a button, but I’m stuck.

What I tried is this

<a href="https://wordpress.stackexchange.com/questions/199877/<?php echo $product->downloadable_files; ?>">Download</a>

And of course it didn’t work.

What is the proper code to get the product’s download url?

Here is the code to get the download link for a downloadable product in WooCommerce.

$downloads = $product->get_downloads();

foreach( $downloads as $key => $each_download ) {
  echo '<a href="'.$each_download["file"].'">Download</a>';
}