[ elab, minor ] Implement Functor
for PiInfo
#3334
Merged
This job succeeded
Loading
Functor
for PiInfo
#3334