From: Siraaj Khandkar Date: Tue, 5 Jun 2018 16:55:03 +0000 (-0400) Subject: Define the canonical map structure for Tiger X-Git-Url: https://git.xandkar.net/?a=commitdiff_plain;ds=sidebyside;h=2eadd9297a93ac7776a810ed44a547b67dddf32b;hp=2eadd9297a93ac7776a810ed44a547b67dddf32b;p=tiger.ml.git Define the canonical map structure for Tiger with a Red Black tree implementation, adapted from Okasaki. ---