From 9ccb3fce8e390f09fa5b812a77f7a65c10c5e4b1 Mon Sep 17 00:00:00 2001
From: Vladimir Azarov <avm@intermediate-node.net>
Date: Wed, 4 Jun 2025 20:45:08 +0200
Subject: Registration of declarations

---
 parser.sig | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'parser.sig')

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
-- 
cgit v1.2.3