signature PPC = sig

  structure T: TOKENIZER

  type t
  type tkPos

  datatype tkClass =
    Ctk of T.token |
    Cid |
    Cconst |
    Cstrlit |
    Cunop |
    Cbinop |
    Cop |
    Cexpr

  val warning: tkPos -> ((bool * ((string -> unit) * (unit -> unit)))
    * ('a * ((string -> unit) * (unit -> unit)) -> unit) -> 'c) -> 'c
  val clerror: tkPos -> tkClass list -> 'a
  val error: tkPos -> ((bool * ((string -> unit) * (unit -> unit)))
    * ('a * ((string -> unit) * (unit -> unit)) -> 'b) -> 'c) -> 'c

  val create: { fname: string, incDirs: string list, debugMode: bool } -> t
  val getToken: t -> T.token * tkPos * t
  val debugPrint: string -> string list -> unit

  val ? : (int, 'a, 'b, 'c) a1printer
  val ?? : int -> string
  val psid: int -> 'a acc -> unit
  val Ptk: (T.token, 'a, 'b, 'c) a1printer
  val PtkPos: (tkPos, 'a, 'b, 'c) a1printer
end