## unparse-junk.api
# Compiled by:
#
src/lib/compiler/front/typer/typer.sublibstipulate
package pp = standard_prettyprinter; # standard_prettyprinter is from
src/lib/prettyprint/big/src/standard-prettyprinter.pkg package sy = symbol; # symbol is from
src/lib/compiler/front/basics/map/symbol.pkg package syp = symbol_path; # symbol_path is from
src/lib/compiler/front/typer-stuff/basics/symbol-path.pkg package ip = inverse_path; # inverse_path is from
src/lib/compiler/front/typer-stuff/basics/symbol-path.pkgherein
api Unparse_Junk {
#
Break_Style = ALIGN
| WRAP
;
open_style_box: Break_Style
-> pp::Prettyprinter
-> pp::typ::Left_Margin_Is
-> Void;
unparse_sequence: pp::Prettyprinter
->
{ separator: pp::Prettyprinter -> Void,
print_one: pp::Prettyprinter -> X -> Void,
breakstyle: Break_Style
}
-> List(X)
-> Void;
unparse_closed_sequence: pp::Prettyprinter
-> { front: pp::Prettyprinter -> Void,
separator: pp::Prettyprinter -> Void,
back: pp::Prettyprinter -> Void,
print_one: pp::Prettyprinter -> X -> Void,
breakstyle: Break_Style
}
-> List(X)
-> Void;
unparse_symbol: pp::Prettyprinter
-> sy::Symbol
-> Void;
heap_string: String -> String;
unparse_mlstring: pp::Prettyprinter
-> String
-> Void;
unparse_mlstring': pp::Prettyprinter
-> String
-> Void;
unparse_integer: pp::Prettyprinter
-> multiword_int::Int
-> Void;
ppvseq: pp::Prettyprinter
-> Int
-> String
-> (pp::Prettyprinter -> X -> Void)
-> List(X) -> Void;
ppvlist: pp::Prettyprinter
-> (String,
String,
(pp::Prettyprinter -> X -> Void),
List(X))
-> Void;
ppvlist' : pp::Prettyprinter
-> (String,
String,
(pp::Prettyprinter -> String -> X -> Void),
List(X))
-> Void;
unparse_int_path: pp::Prettyprinter -> List( Int ) -> Void;
unparse_symbol_path: pp::Prettyprinter -> syp::Symbol_Path -> Void;
unparse_inverse_path: pp::Prettyprinter -> ip::Inverse_Path -> Void;
newline_indent: pp::Prettyprinter -> Int -> Void;
# needed in PPTypes, unparse_package_language
find_path: (ip::Inverse_Path, (X -> Bool), (syp::Symbol_Path -> X))
->
(List(sy::Symbol), Bool);
unparse_tuple: pp::Prettyprinter
-> (pp::Prettyprinter -> X -> Void)
-> List(X)
-> Void;
unparse_int: pp::Prettyprinter -> Int -> Void;
newline_apply: pp::Prettyprinter
-> (pp::Prettyprinter -> X -> Void)
-> List(X)
-> Void;
break_apply: pp::Prettyprinter
-> (pp::Prettyprinter -> X -> Void)
-> List(X)
-> Void;
unparse_array: pp::Prettyprinter
-> ((pp::Prettyprinter -> X -> Void), Rw_Vector(X))
-> Void;
}; # Api Unparse_Junk
end;
## Copyright 1989 by AT&T Bell Laboratories
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2015,
## released per terms of SMLNJ-COPYRIGHT.