(&mut self, index: u32)
| 39 | /// Returns true if successful |
| 40 | #[wasm_bindgen(js_name = createVariable)] |
| 41 | pub fn create_variable(&mut self, index: u32) -> bool { |
| 42 | let term = self.arena.mk_var(index); |
| 43 | self.term_counter += 1; |
| 44 | console::log_1(&format!("Created variable with index {} -> TermId {:?}", index, term).into()); |
| 45 | true |
| 46 | } |
| 47 | |
| 48 | /// Create two identical variables and verify they share the same ID |
| 49 | /// Returns true if hash-consing worked (same IDs) |