* be added to the output of pp_term.
* set to false if you need, for example, cut and paste from matitac output to
* matitatop *)
-let debug_printing = false
+let debug_printing = true
let pp_binder = function
| `Lambda -> "lambda"
let pp_pos =
function
- `None -> "`None"
+(* `None -> "`None" *)
| `Left -> "`Left"
| `Right -> "`Right"
| `Inner -> "`Inner"