What does :: mean here ? listeners ::= listener list = num :: list Specially I don't understand the "::" operator.