[adastra22]

The rho type is the aggregate stack effect e.g. (int int — string) will pop two ints off the stack and push a string.