Old Navy active shorts/leggings

I don’t know what they’re called but they’re two in one shorts with leggings son in my son wears them for sports gently used condition blue shorts with patterned legging old navy size medium