-
POTTIER Francois authored
This requires using [new_encode_decode] instead of [new_intern]. This makes things slightly slower, because we must maintain a mapping from integer codes back to strings, but should allow us to later pack a value of type [word] together with other information inside a single OCaml integer.
a26afa3d