Add ty_has_free_tyvars predicate.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Wed, 19 Aug 2009 15:31:48 +0000 (17:31 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Wed, 19 Aug 2009 15:31:48 +0000 (17:31 +0200)

No differences found