If you have GCC or G++, simply use the `-fdump-ada-spec` command-line option; done.

(see: https://www.adacore.com/gems/gem-59 )