(* 
 File: Prettyprinter.sig

 Signature for the structure which prettyprints PEPA models
*)

signature Prettyprinter =
sig
  datatype printmode = compressed | uncompressed | verbose
  datatype printstyle = OLD | NEW

  val style : printstyle ref
  val print : printmode -> Pepa.Component -> string
  val printtransition : printmode -> Pepa.Transition -> string
end;
