A message was moved here from #Is there code for X? > Any two complete ordered fields are isomorphic by Jelena Markovic.
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: Dec 07 2023 at 12:30 UTC