At least in my union defined benefit pension it specifically excludes overtime since that obviously is ripe for abuse. It's just your basic calculation: average of your best 5 years of salary at 2% per year of service.
Is that not the case for police unions in the states?
Normally includes overtime and only the best few years. Can juice it to get a pension around your 40 hour salary for life.