Skip to content

Make typing of grounder more explicit - #503

Merged
cthoyt merged 4 commits into
mainfrom
clarify-typing
Jun 18, 2026
Merged

Make typing of grounder more explicit#503
cthoyt merged 4 commits into
mainfrom
clarify-typing