Additionally, since most of our
prettyprinter basic of Exp is
constant
tab = 2 ;
default
<hv 1,tab,0> ;
rules
*x !0 -> [<h> "..."] ;
exp_s(**exps,*exp) -> [<v> ([<h> **exps ";"]) *exp] ;
plus (*exp1, *exp2) -> [<hv> *exp1 "+" *exp2] ;
minus (*exp1, *exp2) -> [<hv> *exp1 "-" *exp2] ;
prod (*exp1, *exp2) -> [<hv> *exp1 "*" *exp2] ;
uminus(*exp) -> [<h> "-" *exp] ;
assign(*var, *exp2) -> [<hv> *var ":=" *exp2] ;
end prettyprinter