Registration of declarations

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