let pp_userdef_descr fmt d = if d.d_formals <> [] then begin Format.fprintf fmt "Signature:" ; pp_userformals fmt d.d_formals ; end