James Shubin 89784e86bd lang: gapi, unification: Shutdown unification quickly when asked ...

This is a bit of a hack until we improve the GAPI a bit, but will let us
shut down type unification a bit faster if we want to interrupt a long
running operation. Hopefully our future algorthmic performance
improvements will obliviate the need for this to be a common issue.

2024-03-22 03:23:46 -04:00

..

gapi.go

lang: gapi, unification: Shutdown unification quickly when asked

2024-03-22 03:23:46 -04:00