-
Hey! I can dynamically create an expression and add it to my egraph by following the examples from the documentation:
What I'd like to do is create a pattern that matches
But I get the following error: Any help would be a appreciated |
Beta Was this translation helpful? Give feedback.
Replies: 1 comment
-
I believe this is the error:
should be
Maybe with a |
Beta Was this translation helpful? Give feedback.
I believe this is the error:
should be
Maybe with a
clone
.ENodeOrVar::ENode
requires an owned enode.