• Jean-Christophe Filliâtre's avatar
    coercions · db0d6501
    Jean-Christophe Filliâtre authored
    a slightly different representation of coercions
    (using trees instead of lists)
    bench files for coercions
    db0d6501
coercion.mli 686 Bytes