{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"//!"}]}
//! Generic code for operating on [lattices] of inference variables
//!
//! that are characterized by an upper- and lower-bound.