{"push_id":762662416,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"086d4c8dc38170688abfebf9e32cfe2c3e4a9b46","before":"cf2bda6b77b630d97f957d7afffcc96f32136b49","commits":[{"sha":"086d4c8dc38170688abfebf9e32cfe2c3e4a9b46","author":{"email":"3623de16a2d847203d0b13f4c029365b5cd13403@microsoft.com","name":"Abhishek Anand (@ MSR desktop)"},"message":"erased logical quantifiers.\nFor now, erased existentials","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/086d4c8dc38170688abfebf9e32cfe2c3e4a9b46"}]}