summaryrefslogtreecommitdiff
path: root/parser.sig
blob: 7545f22626244540195458bd220935d17dc8b35a (plain)
1
2
3
4
5
6
7
8
9
10
signature PARSER = sig

  structure P: PPC

  type parseCtx
  type def

  val createParseCtx: string -> string list -> parseCtx
  val parseDef: parseCtx -> def * parseCtx
end