Notification Bot (Dec 29 2022 at 19:43): Notification Bot (Dec 29 2022 at 19:43):A message was moved here from #Is there code for X? > Any two complete ordered fields are isomorphic by Jelena Markovic.
Manuel Eberl (Jan 04 2023 at 13:22):Doing a typedef inside a locale context is not possible, no. There are some tricks like local_typedef that can mimic that sort of thing though, but I don't really know much about that.
Last updated: Feb 04 2026 at 02:22 UTC