Deleted functor parameter PR.
Deleted functor parameter PR.
Limit number of parameters of exported functors to 1, so that smlsharp can compile them.