(&self, func: &str, term: IdedExpr)
| 129 | } |
| 130 | |
| 131 | fn new_logic_manager(&self, func: &str, term: IdedExpr) -> LogicManager { |
| 132 | LogicManager { |
| 133 | function: func.to_string(), |
| 134 | terms: vec![term], |
| 135 | ops: vec![], |
| 136 | } |
| 137 | } |
| 138 | |
| 139 | fn global_call_or_macro( |
| 140 | &mut self, |
no outgoing calls
no test coverage detected