• Mário Pereira's avatar
    Coercions · 11469bf5
    Mário Pereira authored
    Started a module to contain operations specific to coercions
    11469bf5
theory.mli 6.44 KB