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

add new predicates for symbol declarations, symbol order, and general…

2eba490
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar