signature PPRINT = sig
  
  structure ImpAst : IMPAST

  val pprintVar  : ImpAst.var -> unit
  val pprintAexp : ImpAst.aexp -> unit
  val pprintBexp : ImpAst.bexp -> unit
  val pprintCom  : ImpAst.com -> unit

end
