Skip to content

add new predicates for symbol declarations, symbol order, and general import requirements#29

Merged
felixarntz merged 1 commit into
mainfrom
add-new-predicates
Jun 18, 2026
Merged

add new predicates for symbol declarations, symbol order, and general import requirements#29
felixarntz merged 1 commit into
mainfrom
add-new-predicates