Main interface to the GPP library.
Strategy details
|
|
ATerm
|
ast2box(ATerm pptables)
|
|
File
|
Main.str
|
|
Author
|
unknown
|
|
Since
|
unknown
|
|
|
Parameters
|
ATerm
pptables
|
List(PpTable)
|
|
Pretty-prints an ATerm to a Box using the given pretty-print tables.
|
|
|
|
ATerm
|
box2text-stream(ATerm width, ATerm stream)
|
|
File
|
Main.str
|
|
Author
|
unknown
|
|
Since
|
unknown
|
|
|
Format a box and print the text to a stream.
|
|
|
|
ATerm
|
box2text-string(ATerm width)
|
|
File
|
Main.str
|
|
Author
|
unknown
|
|
Since
|
unknown
|
|
|
Format a box to a string.
|
type
|
Box -> String
|
|
todo
|
Improve performance.
|
|
|
|
|
ATerm
|
parse-pptable-file
|
|
File
|
Main.str
|
|
Author
|
unknown
|
|
Since
|
unknown
|
|
|
Parse a pp table from a file.
|
|
|