summaryrefslogtreecommitdiff
path: root/parser.sig
diff options
context:
space:
mode:
Diffstat (limited to 'parser.sig')
-rw-r--r--parser.sig6
1 files changed, 3 insertions, 3 deletions
diff --git a/parser.sig b/parser.sig
index e3a1d3b..72def5f 100644
--- a/parser.sig
+++ b/parser.sig
@@ -2,10 +2,10 @@ signature PARSER = sig
structure P: PPC
- type parseCtx
+ type ctx
type def
- val createParseCtx: string -> string list -> parseCtx
- val parseDef: parseCtx -> (def * parseCtx) option
+ val createCtx: string -> string list -> ctx
+ val parseDef: ctx -> (def * ctx) option
val printDef: def -> unit
end