UCSD-PL/RefScript — pull request #45 by panagosg7 (2014-09-24 08:18:43+00:00)
Title: In operator

Addressing issue #21.

Adding flag `-e` that adds extra invariants in refinement types (for the moment just `keyIn` for object types).