{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"///"}]}
    /// Creates and return a fresh universe that extends all previous
    /// universes. Updates `self.universe` to that new universe.