package Dates is
  type Date is ...
  function is_day_of_week(d: Date) return Boolean;
  function in_month(d: Date, m: Integer) return Boolean;
  ...