{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"//!"}]}
//! in particular to extract out the resulting region obligations and
//! This module contains the code to instantiate a "query result", and
//! encode them therein.