../../Task/Sort-an-array-of-composite-structures/ACL2