Re: [isabelle] Looking up information about new datatypes
> 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