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