diff options
| author | coqbot | 2020-08-17 16:10:31 +0200 |
|---|---|---|
| committer | GitHub | 2020-08-17 16:10:31 +0200 |
| commit | 55c66171b18f6aecf6e5ce4f5e06fccb85004df7 (patch) | |
| tree | c7323c0c25ec9ca765f10a8b3e22b0c4404c097d /kernel/vmbytecodes.ml | |
| parent | 700aaaacad67d5d5f47805d9aa817213c84cfc02 (diff) | |
| parent | 0e96c241550c4a8abf65f3bb63fcd7cab3380e92 (diff) | |
Merge PR #12802: Document semantic restriction on patterns in Gallina match construct
Reviewed-by: Zimmi48
Ack-by: gares
Ack-by: jfehrle
Diffstat (limited to 'kernel/vmbytecodes.ml')
0 files changed, 0 insertions, 0 deletions