{"ast_node_type":"import","tokens":[{"end":80,"kind":"keyword","start":0,"text":"///"}]}
    /// Both because these new universes can prevent us from reaching a fixpoint
    ///
    /// if we have a coinductive cycle and because that's the only way we can return