and txt_boole = function
| M.False -> "false"
| M.True -> "true"
- | M.Ex x -> "ex " ^ txt_boole x
+ | M.Ex b x -> "ex " ^ txt_boole x
+(* | M.Ex b x -> "ex [" ^ txt_list txt_rvar "," b ^ "] " ^ txt_boole x *)
| M.Not x -> "not " ^ txt_boole x
| M.And (x, y) -> "(" ^ txt_boole x ^ " and " ^ txt_boole y ^ ")"
| M.Or (x, y) -> "(" ^ txt_boole x ^ " or " ^ txt_boole y ^ ")"