[isabelle] Retrieve overloadings of constant



Hello,

is there any way to retrieve the list of all overloaded definitions of a
given constant?

In particular, I'd like to find out if
1. a given constant is overloaded or not
2. if yes, what the list of types for which it has been overloaded is

It seems to me that this information is stored in the context (cf. e.g.
"get_overloading" in "overloading.ML"), but it does not seem to be
exposed to the outside.

Is there a deeper reason for this?

Manuel




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.