BOT: Fix #406: Rename get_type() to get_vector_type() and add convenience wrappers#1099
Draft
nikosbosse wants to merge 1 commit intomainfrom
Draft
BOT: Fix #406: Rename get_type() to get_vector_type() and add convenience wrappers#1099nikosbosse wants to merge 1 commit intomainfrom
nikosbosse wants to merge 1 commit intomainfrom