{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// Creates a counter that is the sum of the given counters.
    /// Returns `None` if the given list of counters was empty.