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