egg 0.8.0

An implementation of egraphs
Documentation
1
<mxfile host="Electron" modified="2020-09-11T16:04:03.836Z" agent="5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) draw.io/13.6.2 Chrome/83.0.4103.122 Electron/9.2.0 Safari/537.36" etag="jepqS7ZN946-6qNlTpPk" version="13.6.2" type="device"><diagram id="xNKCYX4E8J_99azMfX-B" name="Page-1">7V3bkto4EP2aedmqpZB85TGZZHYrtcmmKg9JHr3ggLMezBrPhXz9yiAZLBks25LVBpOqDJKFwN1HUqv7tHxn3T++/pEGm9XHZBHGd3i6eL2z3t1hjGYOJn/ymh2tmU6nh5plGi1o3bHiS/QrZA1p7VO0CLelhlmSxFm0KVfOk/U6nGeluiBNk5dysx9JXP7WTbAMhYov8yAWa79Gi2x1qPWd6bH+zzBartg3I3Z/jwFrTCu2q2CRvJxUWe/vrPs0SbLDu8fX+zDOpcfkcvjcw5mrxQ9Lw3Um84EP/vuZ/XPx6dfXb+mnOfrwd/Lt/neL6uc5iJ/oHdNfm+2YCJZp8rQRv43+gOcwzcLXKl0E/7AejrdLgBImj2GW7kg7hgkmoZejgJFN61YnwsUWrQyoUpdFX8f7Jm/orTcQA6qXAhHCehHmnaA76+3LKsrCL5tgnl99IdgndavsMaaXf0RxfJ/ESUrK62RNGr1dBNtV8fG88DnIsjBd72vwNK/dZmnybwEzIrG3otQva5HXxXmZu6LM3QqRu7okLoG7K5E4vepTSUJRgHVrCrANC9y+VYHvygPAlPwdQdzhgiz1tEglmKTZKlkm6yD+K0k2VJI/wyzbUdMkeMqSsh7C1yj7Rt5PJ55Di99PLr3LpTFlhR0tHNTA1HdHVrb9i1wpYyBcM5vIaq6qbfKUzsMLDd1DuyxIl+GlDml/ubwuKj4N4yCLnsumU5Ui6Uc/JxG5kQIw2LYnnj87vtwygJzJzMIuQhZCroddu9z/4S5ol0esvEnTYHfSbJM32J7/Edw87XFGFdcaoUvNyZvD1x9RW0irPZDdionEjbN8Skj2v+0Icfe/p4Rd+H27B9Ib0gDbm9c9nNh18m55+PvA+iJvD92xK53mKtITxTG2STmfRCJiZL+Jo2U+Oz1Gi0Xesb7JyOGWX3EyqrI4bV2TkadPh8GVapAbacgzrEJfUOFvQxcxN0hmhiU80zdI8JUOkhmwQcIG7SWrl9g4b3JPDSnN42C7jeZlqZZN1rLJheVNLr2mlC9pSiFJU+pEYU6FwlhdR4vLd8pw4XFwuG3BphL7mU24nmZcT2esM1U2EZLw4HTBWQPTHgbOZE32fnBWeEW7As31JlN0skPwuenOn8z86fGF+wWhhFPLyGRHsJfuDn1YVlHxvWhLCsdu9qXdaelzmEZENmFKK1VjWnYbasPCtKUI02hKQI2PoEXlbl2zmJbwE55gmrpRBECfeDoe9q/mMAKids4/IMQkpLVu13SkWbGWhGK1RX6Yw4dfFioiQZX2qsZIkGo3bcknKwwGd/+iW4eT+sOr2subkO+KslxkXpPZ2DqjNbgxIuSMugAaPUJVTsjbVI3puBKq8iV28mLUBJbEENKGGYh5p9F6Se3E6giUdkWcjzcV60s/ivFFSwlQxKkYU5ciTqdYIJ/54eT/Og+u2h0Boq6/encKXSK0h6amwwtNeZ2aI6eHUBbS6OI1Hss6N3aar259LWXAgmRstr7CKNnwsAEt/IZFj29f8bfhKQ9YYI9ZqFcY2RseNqCFDHEzj2N/XvTmqtVsJReE+ForGZbn3FYUdbRNRx1x35xOqFtvBM0/hatchy1WGGF5QcMgjjTXILhlQMLDaCSiP+BlQNZZ0s8y4HKIa7sMYJ4TgDkkGw2gYgn37GjOnDqDYMLTaYlOrhu/ZwtF9EF3cji3Rhu9z2prRTWSWHRYnWEsjaVua95MnBrEiMH8KX0uDIu+wgftWG3KFYZhKYz97rKZGTzm5h21EsulgRuJnBPQtB/Jasb61EFOskCtWTwnrTU7iWfm9M1OcqoCQ5xmdbOTHBl2UpUy9bGTLPMOh06ehUKtrT0LprNILWCcJM4mr9CnetVAcfJYwEhIJnQBlB9mmScl9TxRVdDAikW0H5GLCYm3OhqgMcEsqX3dLTHBmE5rd4ZMlbU7Q7YYaGeCOSMTTAMTjOl5ZIJpIAU0n0GBMcHsqo3+yAQzgw1oTDAbC+C4FSZY54Ft2oNnV5F9RiaYGWxAowDYEt6uqw6dylvJWNZKhkUBmCligs1MM8Hs0S0IlgtmKzowDRoXbHgLDDiSma2ZnAOeZKZhhZH1w/QUEeV3K22XGA/yyTO2hO/X9MkzyPVYReuTZ+ANC2n3pA96WChit3k9W12iX70vdtt5xDXgvRnyqTuyhGHp3UI/bCsGUoD0OFk4QNe4DUzjlX5f0/y6ARrewIh77LEwl0dyWXtmeMuiVaR8bFrGZuMzEc7qcKHqGCZPMayJSvKe64bNGSfvrHl/sbmemKcjOr+BHSGtYItveqbR7ENuvcM/2Rm5CnZGug0I6UkKVqoxnuEJt1Xn/YxtKdE973Uc8fklENZH5UDzZIGmh+/TdRXjyDK1x372Qq5xXJ3YaT0F9mBbDQ1NeAhoqnKaP1yb4WJ8iyR1eqC6YXwyhqcTp9MoBueltaSnAU/1NNDtETMAzmj2+QCK+SwoZsHpDLbXZxK0j6n7nc9XkcyCEoJd6lSg+ompUPgOzXUDje7g4lE1QPNAXEvQxI3ngfiyJwSwRIraJZzNTGMeyCDzQNwqf92YB6ImcNR8BgWWB+IqOtZtzANRYZQCI/O5Is/zVvJAOg9s094OV+MDcfE4sJthAxpL14XKbuzL0SVvJcMi36pK7+APDOY3aJpDb27VYURjAoEJkwPa1MS+Hxy9AOzUpG4DPyYQqJviPM3PT761BAINfi0MelgMM4HAE1F+wwkE0qD1lJ/CKgUO1Dc6pNz1N5RvAA4gYq6xPcG+4yGb/t/zKlrpvL71dIUWZj6wdAVP5F4OJl3hgpYNzQ09HdTGLR4FtW5MY1AcsvNGv/tw8yM8qCcgKM6PADsN1m/8ppLz5ZhR0RD6IsMWzhIOCKnMxjZFvbnKlAxPPLoAZkrGCMdbyOlgQjWS0zF8K870BtVHotE2JotUKln3tpMbvW0fwFPTjWbTiD1CsfWDlXQ+m0Fak5oNYjY/80dN1qr43Ae7eiQ4T4dkyKVhc0a+OG/Ud2le19pu1Zy/3nIpJcU0yQkcx+Zk0Vt9TBZh3uJ/</diagram></mxfile>