[kuschku]

Is that the one with

    (: fun (natural natural -> real))

procedure signatures?

[termain]

I believe so.