Update 2025-06-10-getasupertype.md

This commit is contained in:
Hugo
2025-07-16 00:35:30 +02:00
committed by GitHub
parent 6384cf2e4f
commit 8c82405b5b

View File

@@ -1,4 +1,4 @@
---
category: feature
---
* Added a new predicate, `getASupertype()`, to get a direct supertype of this type.
* Added a new predicate, `getASuperType()`, to get a direct supertype of this type.