syntax_data: {"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"//!"}]}
source_snippet: //! returned by the lattice join (or meet) operator was in fact greater (or lower) than the inputs.
context_before: //! only benefit would be the ability to check that the least upper (or greatest lower) bound
context_after: //!