let brackets_and_stars_lv_typ = 
  function | Ctype t -> brackets_and_stars_typ t | _ -> 0