signature PPRINT = sig
  
  structure LambdaAst : LAMBDA_AST

  val ppAlpha : bool ref

  val ppE    : LambdaAst.expr -> unit
  val ppExpr : Compiler.PrettyPrint.ppstream -> LambdaAst.expr -> unit

end
