let stars_lv_typ = function | Ctype t -> stars_typ t | _ -> 0