print_goalstack : goalstack -> unit
Print a goalstack.
print_goalstack gs prints the goalstack gs to standard output, with no
- FAILURE CONDITIONS
This is invoked automatically when something of type goalstack is produced at
the top level, so manual invocation is not normally needed.
- SEE ALSO