diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2013-11-04 15:14:23 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2013-11-04 15:14:23 -0500 |
| commit | f78c57eee6a26977b329a7e2d452d17a9e91ac41 (patch) | |
| tree | fbdbbef33b2d33a22f07128722a8721322c990ca /tests/consub.ur | |
| parent | d3b74d23b672068e7f9e375b885292726f754f59 (diff) | |
Interpret 'table' signature items more flexibly, automatically adding (Ur) constraints to support a kind of subtyping over (SQL) constraint sets
Diffstat (limited to 'tests/consub.ur')
0 files changed, 0 insertions, 0 deletions