diff options
author | Adam Chlipala <adam@chlipala.net> | 2013-11-04 16:00:48 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2013-11-04 16:00:48 -0500 |
commit | e9b71baa2477fda7f38e6cbabad121e8e3c2c49c (patch) | |
tree | 02e9fe94d53d44b645dd88a2cf10680bb16213a8 /src/rpcify.sml | |
parent | f78c57eee6a26977b329a7e2d452d17a9e91ac41 (diff) |
A fancier test for the new SQL constraints subtyping
Diffstat (limited to 'src/rpcify.sml')
0 files changed, 0 insertions, 0 deletions