{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"///"}]}
    /// regions visible from `U`, but not less than regions not visible
    /// Therefore, the `'empty` in a universe `U` is less than all
    /// from `U`.