刺桐公园一圈的长度取决于园内路径的总长度。 要准确回答这个问题,需要了解公园的大小和路径的走向。 具体长度可以通过测量公园周边的围墙或沿着公园走一圈来得到。 因此,无法给出具体的回答。 请您提供更多关于刺桐公园的信息,以便我们能够给出更准确的答案。