let brackets_lv_typ = function | Ctype t -> brackets_typ t | _ -> 0