]> matita.cs.unibo.it Git - fireball-separation.git/commit
ugly but useful printing of sharing for bool refs
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 14 Jun 2018 21:51:47 +0000 (23:51 +0200)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 15 Jun 2018 14:55:04 +0000 (16:55 +0200)
commit3af742bc49d1fbdf6c2c044abde8ec8a8b081654
tree110ca129902f0c35bd0cd6a65173b64d75a025c5
parentbc7b3bd553626969b2c22a5ec3e431f67fcd2ff1
ugly but useful printing of sharing for bool refs
ocaml/simple.ml