{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"//!"}]}
//! This environment is used by both the LHS and RHS. The LHS uses it to detect duplicate binders.
//!
//! The RHS uses it to detect the other errors.