;;
let string_of_rule = function
- | Terms.SuperpositionRight -> "SupR"
- | Terms.SuperpositionLeft -> "SupL"
- | Terms.Demodulation -> "Demod"
+ | Terms.Superposition -> "Super"
+ | Terms.Demodulation -> "Demod"
;;
let string_of_direction = function
(string_of_rule rule)
id1 id2 (String.concat
"," (List.map string_of_int p)))
-
;;
let pp_bag ~formatter:f bag =