let delete_in_aggregation (name0 : string) (value : string) (name : string) (var : string) : unit = delete_in_set name0 value name var; delete_in_list name0 value name var