function d_of_w_in_v extends icons.specifics.icon_f_of_date; input Integer value; input Integer[:] v; output Boolean included; end d_of_w_in_v;