diff options
| author | Brian Campbell | 2019-06-11 11:10:40 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-06-11 11:10:40 +0100 |
| commit | 586a4c0073e1f2697683bd9d84c1f898452c0311 (patch) | |
| tree | 2eee29c283b4e6c6bbbcd40fc83500974b7db545 /src/return_analysis.ml | |
| parent | 3eadd260f7382f98eb7dcbd706a3ed3e910167eb (diff) | |
Coq: improve readability of types files
Also get rid of the notation warnings for single element records.
Diffstat (limited to 'src/return_analysis.ml')
0 files changed, 0 insertions, 0 deletions