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
Retyping.expand_projection?
Look for expand_projection
It was too obvious, for once ;-)
Last updated: Dec 06 2023 at 13:01 UTC