let
phys_equal =
Caml
.(==)