diff options
author | David Waern <david.waern@gmail.com> | 2008-07-28 12:29:27 +0000 |
---|---|---|
committer | David Waern <david.waern@gmail.com> | 2008-07-28 12:29:27 +0000 |
commit | 5770b12145f149b1add9173ea0c30d214f6a14d2 (patch) | |
tree | c7b32f517aec67c29f8f97adef7ef192ecc87637 /examples | |
parent | 255f21b652666514d73e0c7704c3f99aa89380fd (diff) |
Support type equality predicates
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions