Meaning of genus dicamptodon

(noun) type genus of the Dicamptodontidae