summaryrefslogtreecommitdiff
path: root/parser.sig
diff options
context:
space:
mode:
Diffstat (limited to 'parser.sig')
-rw-r--r--parser.sig10
1 files changed, 10 insertions, 0 deletions
diff --git a/parser.sig b/parser.sig
new file mode 100644
index 0000000..7545f22
--- /dev/null
+++ b/parser.sig
@@ -0,0 +1,10 @@
+signature PARSER = sig
+
+ structure P: PPC
+
+ type parseCtx
+ type def
+
+ val createParseCtx: string -> string list -> parseCtx
+ val parseDef: parseCtx -> def * parseCtx
+end