shrinking: a 'subterms' abstraction over Hole

1 job for !27 with typed-holes in 19 minutes and 16 seconds (queued for 2 seconds)
latest detached
Status Job ID Name Coverage
  Build
passed #1157360
build: [4.12.0]

00:19:16