syntax_data: {"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"//!"}]}
source_snippet: //! [lattices]: https://en.wikipedia.org/wiki/Lattice_(order)
context_before: //!
context_after: //! [set inclusion]: https://en.wikipedia.org/wiki/Subset