diff options
| author | Emilio Jesus Gallego Arias | 2018-11-26 03:10:40 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-02-11 19:51:58 +0100 |
| commit | 5c47c5742fadf5726ea35341f733dcae14386eec (patch) | |
| tree | 1875e4db3d0e2307cba1096bf1848d865afd2e89 /dev | |
| parent | 0a18d769c88372eca162cf7a2f2eec61165c1f77 (diff) | |
[ssreflect] Export more parsing witnesses.
This is the completion of #9070, needed in order to serialize
ssreflect programs properly. TTBOK this completes the interface for
all generic arguments.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions