15.4.842  src/lib/prettyprint/big/src/prettyprint-tree.pkg

## prettyprint-tree.pkg
#
# This generic implements a declarative way to specify pretty-printing
# (see prettyprint-tree.api).

# Compiled by:
#     src/lib/prettyprint/big/prettyprinter.lib

stipulate
    package pp  =  standard_prettyprinter;                              # standard_prettyprinter                is from   src/lib/prettyprint/big/src/standard-prettyprinter.pkg
herein

    package prettyprint_tree
        =
        prettyprint_tree_g( pp );                                       # prettyprint_tree_g                    is from   src/lib/prettyprint/big/src/prettyprint-tree-g.pkg
end;



## Code by Jeff Prothero Copyright (c) 2010-2015,
## released per terms of SMLNJ-COPYRIGHT.