{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"representative:"}]}
            representative: Representative::new(rvid, definition),
            max_nameable_universe: definition.universe,
        }