[firedrake] How to get mesh diameter

Dear all I am a new user of firedrake but old user of fenics. I need your help to compute the mesh diameter, i.e., max diameter of all cells in the mesh or some representative mesh size to use in a mesh convergence study. Thanks a lot praveen