I have a case struct which holds an expression with the type of SymbolicUtils.Term{Bool}. Also I have defined rules from SymbolicUtils library whic
SymbolicUtils.Term{Bool}
SymbolicUtils