Skip to content

Pack `Term` in the same way as `GenericArg`.

79db32b
Select commit
Loading
Failed to load commit list.
Merged

Shrink PredicateS #101432

Pack `Term` in the same way as `GenericArg`.
79db32b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs