Bank holiday treatment for part-time staff

Then as stated above it is one fifth of your average weekly pay calculated over the preceding 13 weeks.
 
http://www.citizensinformation.ie/e..._and_holidays/public_holidays_in_ireland.html says


If the employer chooses to give you "paid time off" instead of pay, must they give you one-fifth of your weekly hours, or a full day off?