clarified order of extra TFrees: underlying fast_string_ord coincides with Name.invent (e.g. from type inference);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE019fe8238656: NEWS;
- Branches
- Unknown
- Tags
clarified order of extra TFrees: underlying fast_string_ord coincides with Name. Tags None Subscribers None
Description
Details
|