let pp_formals fmt = function
    | [] -> ()
    | x::xs -> 
        Format.fprintf fmt "'%s'" x.vname (* user info *) ;
        List.iter (fun x -> Format.fprintf fmt ",@ '%s'" x.vname) xs