{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"//!"}]}
//! - `Changed(C)` - the obligation was *shallowly successful*. The
//!   surrounding environment changes.
//!   vector `C` is a list of subobligations. The meaning of this is that