(mut self, enable: bool)
| 124 | } |
| 125 | |
| 126 | pub fn enable_optional_syntax(mut self, enable: bool) -> Self { |
| 127 | self.enable_optional_syntax = enable; |
| 128 | self |
| 129 | } |
| 130 | |
| 131 | fn new_logic_manager(&self, func: &str, term: IdedExpr) -> LogicManager { |
| 132 | LogicManager { |
no outgoing calls