parser.sig


1
2
3
4
5
6
7
8
9
10
11

signature PARSER = sig

  structure P: PPC

  type ctx
  type def

  val createCtx: string -> string list -> ctx
  val parseDef: ctx -> (def * ctx) option
  val printDef: def -> unit
end