diff options
| author | Brian Campbell | 2019-05-21 11:56:46 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-05-21 11:56:46 +0100 |
| commit | a1166afa11ddd8b6f60e3959b962776413dcb05e (patch) | |
| tree | 8e997522153d6243db35c45edcda696a0ce2ca4b /src/pattern_completeness.ml | |
| parent | 23ff6475e125b7f433d1f13bcb32cf2d886f3fe4 (diff) | |
Coq: introduce autocasts at variables
Usually we do this at function applications and casts, but occasionally
a variable is used at a different type.
Diffstat (limited to 'src/pattern_completeness.ml')
0 files changed, 0 insertions, 0 deletions