diff options
| author | Brian Campbell | 2018-07-06 17:00:05 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-07-06 18:27:01 +0100 |
| commit | f1f3c68878406ae5029881e20b839d2b6f535280 (patch) | |
| tree | d8accdde50f688dd6f16333aae6bffaaab99d113 /src/pattern_completeness.mli | |
| parent | 2c47d06c669ab303666da861824bf2cdae683c06 (diff) | |
Coq: feed assertions into the context
Diffstat (limited to 'src/pattern_completeness.mli')
0 files changed, 0 insertions, 0 deletions