:- module(pretty_print).
:- export pretty_print / 3.
:- comment(summary, "Pretty-printing of complex terms").
:- comment(author, "Micha Meier, ECRC Munich").
:- comment(copyright, "Cisco Systems, Inc").
:- comment(date, "$Date: 2006/09/23 01:55:32 $").
:- comment(pretty_print / 3, [template : "pretty_print(+Stream, +Term, +Max)", summary : "Print a term on the given stream, split it if its width exceeds Max"]).
