syntax_data: {"ast_node_type":"other","tokens":[{"end":101,"kind":"keyword","start":0,"text":"//!"}]}
source_snippet: //! lattice meet operator (`∧`) returns the greatest lower bound. Types that implement one operator
context_before: //! every pair of elements. The lattice join operator (`∨`) returns the least upper bound, and the
context_after: //! but not the other are known as semilattices. Dataflow analysis only uses the join operator and