diff options
| author | Brian Campbell | 2018-05-25 18:02:35 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-05-25 18:02:44 +0100 |
| commit | 12571f21569ff84e9cffb81342d2f95196199336 (patch) | |
| tree | 8d1b37f4397e9921509d615b0de26623fc07f4e7 /src/pretty_print_coq.ml | |
| parent | bb12ef5feff3976eb8dc37096a355f74a6ff5c7e (diff) | |
Coq: fill in some built-ins
vector_access is a bit hacky at the moment - it expects a constraint to
be shown between the index and the list size, but we don't track list
sizes in general
Diffstat (limited to 'src/pretty_print_coq.ml')
0 files changed, 0 insertions, 0 deletions