{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"///"}]}
    /// (somewhat independent from the actual size of the
    /// is an *O*(*n*) operation where *n* is the number of elements
    /// intersection, in particular).