diff options
| author | Pierre-Marie Pédrot | 2020-09-02 21:24:03 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-09-04 14:04:48 +0200 |
| commit | 146c760fb4cdfc41a3b07db1622f56a4d6a42a3b (patch) | |
| tree | d1dd0717cc817ae1753f2bfd1c7f0c7a3e61f764 /lib/objFile.ml | |
| parent | f9b5e98e7bc94f0385d1a9a62f3c3d5b9227197f (diff) | |
Statically enforce that elim is passed a fully applied inductive type.
Diffstat (limited to 'lib/objFile.ml')
0 files changed, 0 insertions, 0 deletions