Thank you for the spot on info!
So looking over the BS standard BS 7671: 2018, Section 702 on swimming pools it does not seem to have a specific requirement for the RCD but it refers to IEC 60335-2-41 which states
So to provide protection against electric shock from a faulty pool pump for...