parser.sig


1
2
3
4
5
6
7
8
9
10
11

signature PARSER = sig

  structure P: PPC

  type parseCtx
  type def

  val createParseCtx: string -> string list -> parseCtx
  val parseDef: parseCtx -> (def * parseCtx) option
  val printDef: def -> unit
end