6. Pretty-printing function

The user must define two further values: a function that prints a value of the support, and the verbose flag, for a richer output, useful for debugging. In our example:

   let print x = print_vars (VarSet.elements x)

   let verbose = false
end