diff options
| author | Hugo Herbelin | 2020-10-09 19:28:43 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-10-16 01:29:19 +0200 |
| commit | 12ea3318943f2a47f45d939aa206acc263a6341d (patch) | |
| tree | eb4269af04dbca16c53d3bed1a879289a987d094 /stm | |
| parent | 2db3d504378cb6167aadd0d7bccf7bd2341c63c6 (diff) | |
Generalizing and exporting interp_assumption/interp_definition.
This shall be for Record fields consumption.
Diffstat (limited to 'stm')
0 files changed, 0 insertions, 0 deletions