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: Jan 05 2025 at 16:21 UTC