a process for removing mud and other deposited matters from the beds of rivers, canals, &c. See Supplement.