def rep_type(self, t : Type) -> Type:
assert isinstance(t, TMinTreeMultiset) or isinstance(t, TMaxTreeMultiset), repr(t)
return TTreeMultiset(t.elem_type)
Reproduction case: #109 the easy synth failure. (try make select.h TIMEOUT=900 -- seems not very successful. I will try to note down the next occurrence of this).
In https://github.com/CozySynthesizer/cozy/commit/7d932b6dcb2813725bb8c1d42c34a869a4a2b6b6
The following lines seem wrong:
make select.h TIMEOUT=900-- seems not very successful. I will try to note down the next occurrence of this).