let brackets_var_type_typ = function | Cv x -> brackets_typ x.vtype | Lv lv -> brackets_lv_typ lv.lv_type | Prop -> 0