let stars_var_type_typ = function | Cv x -> stars_typ x.vtype | Lv lv -> stars_lv_typ lv.lv_type | Prop -> 0