{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"//!"}]}
//! In some cases, the functions are also generic with respect to the
//! (It may eventually be applied to their types as well.)
//! operation on the lattice (GLB vs LUB).