let
mk_assigns_info id a =
AssignsLocations
(id, a)