signature MYPP =
sig
val ppAbsynDec : Absyn.dec -> unit
val ppAbsynExp : Absyn.exp -> unit
val ppFlint : FLINT.prog -> unit
val ppType : Types.ty -> unit
val stream : PrettyPrint.ppstream
end

structure MyPP : MYPP =
struct

fun flush () = TextIO.flushOut (TextIO.stdOut)

val ppc = {consumer=TextIO.print, linewidth=78, flush = flush}

val stream = PrettyPrint.mk_ppstream ppc

fun ppAbsynDec tree = 
    PPAbsyn.ppDec (StaticEnv.empty, NONE) stream (tree, 10000)

fun ppAbsynExp exp = 
    PPAbsyn.ppExp (StaticEnv.empty, NONE) stream (exp, 10000)

fun ppType ty = 
    let val str = PrettyPrint.mk_ppstream ppc
    in PPType.ppType StaticEnv.empty str ty
    end

val ppFlint = PPFlint.printProg

end