-
Jean-Christophe Filliâtre authored
a slightly different representation of coercions (using trees instead of lists) bench files for coercions
db0d6501
a slightly different representation of coercions (using trees instead of lists) bench files for coercions