let reduce_variable_type = function | Var t -> Var (convert_type t) | TypeDefName t -> TypeDefName (convert_type t) | EnumVal x -> EnumVal x