[Hol-info] Getting the original type of a constant

[Benja F. <ben...@gm...>]

Hi all,

I'm wondering whether there is a way to get the original type of a
polymorphic constant -- e.g., given

c = ``$= : num -> num -> bool``

is there a way to obtain the most general type ``:'a -> 'a -> bool`` of the
constant ``$=``?

Thanks!
- Benja