Double-Colon rules example missing from manual

[Dan Jacobson]

We read
(info "(make) Double-Colon")
but there are no examples shown.
So we have a hard time proceeding.
Please add examples.