Type of Salt For Edamame

[lpbucw]

Does anybody know the type of salt that Japanese Restaurants put on Edamame? I'm assuming it's some type of sea salt flake, but any more specifics or recommendations would be appreciated.

Thanks.

[cheesecake17]

Sushi Samba uses a Himalayan flake salt