Opened this issue 3 years ago · 1 comments
e.g. utilise Rc/RefCell/Weak for global updates on identical partial interpreted formulae
It is not directly clear on how to implement such an approach (values may collapse)