let non_informative,ugraph =
if cl_len = 0 then true,ugraph
else
is_non_informative ~logger [Some (C.Name name,C.Decl ty)]
paramsno (snd (List.nth cl 0)) ugraph
in
let non_informative,ugraph =
if cl_len = 0 then true,ugraph
else
is_non_informative ~logger [Some (C.Name name,C.Decl ty)]
paramsno (snd (List.nth cl 0)) ugraph
in