method apply = if !v <> param.date_value then let _ = param.date_f_apply !v in param.date_value <- !v else ()