syntax_data: {"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"//!"}]}
source_snippet: //! but not the other are known as semilattices. Dataflow analysis only uses the join operator and
context_before: //! lattice meet operator (`∧`) returns the greatest lower bound. Types that implement one operator
context_after: //! will work with any join-semilattice, but both should be specified when possible.