It's a big unusual, I know, but I'd like to take a compact primitive projection and expand it to the compatibility constant. Is there an API for that?
I did find
Projection.constant to find a regular projection and
Projction.npars which tells me how many missing parameters are there, but no API that also retypechecks the argument, finds the
nparams parameters, and builds the regular application. Does is exist already? CC @Matthieu Sozeau
Look for expand_projection
It was too obvious, for once ;-)
Last updated: Jun 05 2023 at 09:01 UTC