Is there a way to make print_term/2 skip printing the “% with constraints” part?
I tried write_options([attributes(ignore)]) but that still prints the constraints.
I want to use the nice indenting abilities of print_term/2 but without printing the constraints.
Thanks!