Noun
hydraulic lime (usually uncountable, plural hydraulic limes) quicklime obtained from hydraulic limestone, and used for cementing underwater, etc.