diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-08-13 03:21:45 +0200 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-08-13 03:21:45 +0200 |
| commit | 8905c0b1cc1fdef571ac2c994d5e24520ce51288 (patch) | |
| tree | b41ba663429c8ab28e4a48390e64bcc1f2ff1564 /parser.sig | |
| parent | 5d15afc926aeb38eb36676bb72d11022b2cda412 (diff) | |
Driver
Diffstat (limited to 'parser.sig')
| -rw-r--r-- | parser.sig | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -145,7 +145,7 @@ signature PARSER = sig (* Objects are in reverse order *) datatype def = Objects of objDef list | Definition of funcInfo - val createCtx: string -> string list -> bool -> ctx + val createCtx: string -> string list -> string option -> ctx val parseDef: ctx -> bool * ctx val printDef: def -> unit |