you need static resolution for that, and the only ...
# arrow
p
you need static resolution for that, and the only place where that exists is extfuns