shithub
:
MicroHs
Info
•
Files
•
Log
•
Branches
ref:
af58a1fb9d7cde8f8850d801c388befe407d5687
dir:
/
tests
/
NoForall.ref
/
View raw version
((True,True),(True,True))