let
equal (t : t) t' = phys_equal t t'