diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-05-25 19:59:56 +0200 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-05-25 19:59:56 +0200 |
| commit | d9c809a5550b2fe23b2fd1e66672b503730d55f1 (patch) | |
| tree | 6f8001d56823305f9f93c52833362b28e9d2def4 /parser.sig | |
| parent | 2a1cfad37d5e87b2d7eb3c9da16db66364a9b9a3 (diff) | |
Expression parsing
Diffstat (limited to 'parser.sig')
| -rw-r--r-- | parser.sig | 10 |
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 |