syntax_data: {"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"//!"}]}
source_snippet: //! The defining characteristic of a lattice—the one that differentiates it from a [partially
context_before: //!
context_after: //! ordered set][poset]—is the existence of a *unique* least upper and greatest lower bound for