Open NaweedAghmad opened 9 months ago
For a given node syntax, the model stores only one instance of that node. API changes require leaf nodes to be instanciated with a model attached to it, with connective formulae inheriting the model from a child node.
For a given node syntax, the model stores only one instance of that node. API changes require leaf nodes to be instanciated with a model attached to it, with connective formulae inheriting the model from a child node.