Closed gafter closed 1 year ago
Summary: We change NodeIds to be simple PODs to simplify the (future) interface with Python.
NodeId
Differential Revision: D41036900
This pull request was exported from Phabricator. Differential Revision: D41036900
Summary: We change
NodeId
s to be simple PODs to simplify the (future) interface with Python.Differential Revision: D41036900