Skip to content

BOT: Fix #406: Rename get_type() to get_vector_type() and add convenience wrappers#1099

Draft
nikosbosse wants to merge 1 commit intomainfrom
fix/406-expose-get-type
Draft

BOT: Fix #406: Rename get_type() to get_vector_type() and add convenience wrappers#1099
nikosbosse wants to merge 1 commit intomainfrom
fix/406-expose-get-type

Commits