Is that the one with

    (: fun (natural natural -> real))

procedure signatures?