let
field (l:loc) f =
Fields
.define f;
Tint
.shift_field l f