Commits
Click on a commit to change the comparison rangesimplify clauses via union document clause simplification more commentary on call binding Merge branch 'main' into dcreager/dummy-constraint-sets expect not allow dead code add python examples for union simplification types are partially ordered