shithub: MicroHs

Info • Files • Log • Branches

ref: 7ed3f8a8a2fac045011ef8f1ac90a9261eeebdd7
dir: /tests/NoForall.ref/

View raw version

((True,True),(True,True))