let kind_of_data ty = function | (Data _ | Loc _ | Value _) -> kind_of_typ ty | (Interval _ | Range _ | List _ | Set _) -> Kset (kind_of_typ ty)