Add HashIntern to allow hashconsing from other types#21

rdmarsh2 wants to merge 1 commit into

AdrienChampion:masterAdrienChampion/hashconsing:masterfrom

rdmarsh2:hashinternrdmarsh2/hashconsing:hashinternCopy head branch name to clipboard