Searched refs:intro_ext (Results 1 – 1 of 1) sorted by relevance
394 let intro_ext = n.introduced_by.unwrap_or(ext); in unapply_edges() localVariable397 txn, channel, changes, source, target, intro_ext, intro, change_id, in unapply_edges()