syntax_data: {"ast_node_type":"other","tokens":[{"end":15,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// in the set.
context_before: /// A [partially ordered set][poset] that has a [least upper bound][lub] for any pair of elements
context_after: ///