From d9c809a5550b2fe23b2fd1e66672b503730d55f1 Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Sun, 25 May 2025 19:59:56 +0200 Subject: Expression parsing --- parser.sig | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 parser.sig (limited to 'parser.sig') 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 -- cgit v1.2.3