diff options
| author | Brian Campbell | 2019-04-02 14:55:26 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-04-02 14:55:37 +0100 |
| commit | 247b9fcf1c0a4cec4a8c4e6e28aacd8b7ae72513 (patch) | |
| tree | ba0e43dcdab15acdf9a54cbe97ec60dfbc91a4d3 /src/value.ml | |
| parent | d9d0a6d064a26f19b4daa5b7a267b0b89926f338 (diff) | |
Coq: replace n_constraints with equivalent bool variables
Prevents some type variables that came from unpacking existentials
leaking into generated Coq types.
Diffstat (limited to 'src/value.ml')
0 files changed, 0 insertions, 0 deletions