Skip to content

adding a utility function if_any - #16

Merged
aminelemaizi merged 1 commit into
mainfrom
dev
Sep 18, 2025
Merged

aminelemaizi merged 1 commit into
mainfrom
dev

Commits

Commits on Sep 18, 2025