pebble
n.
small stone
v.
make surface rough and pebbly
Pebble
Pebble
(v. t.)
To grain (leather) so as to produce a surface covered with small rounded prominences.
(n.)
Transparent and colorless rock crystal; as, Brazilian pebble; -- so called by opticians.
(n.)
A small roundish stone or bowlder; especially, a stone worn and rounded by the action of water; a pebblestone.
Webster's Revised Unabridged Dictionary (1913), edited by Noah Porter.
About
Pebble
A
polymorphic language.
["A Kernel Language for Abstract Data Types and Modules", R.M. Burstall & B. Lampson, in Semantics of Data Types, LNCS 173, Springer 1984].
(1995-01-26)
(c) Copyright 1993 by Denis Howe
pebble
Noun
1. a small smooth rounded rock
(hypernym) rock, stone