let brackets_and_stars_var_type_typ = function | Cv x -> brackets_and_stars_typ x.vtype | Lv lv -> brackets_and_stars_lv_typ lv.lv_type | Prop -> 0