let multl dl = 
 let is_int = function Int -> true | _ -> false in
   if dl = [] then Int
   else if List.for_all is_int dl then Int
   else Real