let
copy idx = { sgn =
Signature
.copy idx.sgn;
calls = idx.calls;
other =
H
.copy idx.other }