diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-03-12 14:43:37 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-03-20 17:18:57 -0400 |
| commit | 2074c0f5133d5958996279427710aee208918853 (patch) | |
| tree | 0f684de069f69a117c3802cc9ea14a91886fb97b /src/theory | |
| parent | 705d2851e21fdac11005951f6a47a5446bc8e48b (diff) | |
push subtyping for sets to the element type
for eg, (Set Int) is subtype of (Set Real) if Int is subtype of Real
Diffstat (limited to 'src/theory')
0 files changed, 0 insertions, 0 deletions