{"push_id":1105981719,"size":1,"distinct_size":1,"ref":"refs/heads/has_eq_impl","head":"41aa2e56194e15e3293b3c49d92f039b7384b805","before":"ad9976055ff78a3818f5bd0c02800eff4c0e1a0b","commits":[{"sha":"41aa2e56194e15e3293b3c49d92f039b7384b805","author":{"email":"f02918dbae64dbe83e65060325bfde138e069d1f@cs.umd.edu","name":"Aseem Rastogi"},"message":"haseq working for non-indexed types","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/41aa2e56194e15e3293b3c49d92f039b7384b805"}]}