Rochelime \Roche"lime`\, n. [F. roche rock + E. lime.] Lime in the lump after it is burned; quicklime. [Eng.] [1913 Webster]