What is a shovel with a turned-up edge, for frit, sand, etc. [Written also strocal, strocle, strokal.] called?

strockle — A shovel with a turned-up edge, for frit, sand, etc. [Written also strocal, strocle, strokal.]. (Webster's 1913.)

Sources