Hanno Becker (Dec 11 2022 at 13:45): Hanno Becker (Dec 11 2022 at 13:45):Hi all! Within a locale, is it possible to define type_synonyms which use the locale's type parameters on the RHS? I've got a global type constructor with a number of type arguments, some of which I'd like to fix within the context of a certain locale. One can of course always spell things out manually, but it would be very convenient if it was possible to introduce a shorthand. How can I do that?
Last updated: Apr 20 2024 at 01:05 UTC