[go: up one dir, main page]

Hash consing Michelson types

@yrg and @klakplok have a magic trick to test the equality of hash-consed GADTs in O(1) without Obj.magic.

See https://gitlab.com/-/snippets/2060894 and https://gitlab.com/-/snippets/2060960.

Edited by Yann Regis-Gianas