Re: [isabelle] Looking up information about new datatypes

Hi Stefan,

> I am looking for an ML API for looking up information about new datatypes. In particular, from the name of
> a datatype, I would like to find out the names (and types) of the selector functions corresponding to the
> arguments of a constructor. 

you might want to look at "Ctr_Sugar.ctr_sugar_of". The resulting record
contains fields for selectors, discriminators etc.


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