Use `Obj.repr` instead of `Obj.magic`?
In module Fr
:
The line:
let size_in_memory = Obj.reachable_words (Obj.magic one) * 8
could be replaced by
let size_in_memory = Obj.reachable_words (Obj.repr one) * 8
In practice it should not change much but it would give more guarantees. I think this is replicated in several files and this modification could be replicated when it applies.
Edited by François Thiré