More general truncation and slicing#159

Merged

mtfishman merged 13 commits intomainfrom

mf/generalized_trunc

Jul 22, 2025

Commits on Jul 1, 2025

Towards more general truncation and slicing
mtfishman
committed

Commits on Jul 2, 2025

Commits on Jul 18, 2025

Start fixing ambiguities
mtfishman
committed

Commits on Jul 22, 2025