{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"//!"}]}
//! Code to extract the universally quantified regions declared on a
//! function and the relationships between them. For example: