summaryrefslogtreecommitdiff
path: root/parser.sig
diff options
context:
space:
mode:
authorVladimir Azarov <avm@intermediate-node.net>2025-05-30 11:42:15 +0200
committerVladimir Azarov <avm@intermediate-node.net>2025-05-30 11:42:15 +0200
commitc0599bcbb92af9cbaea52af3560ae08009d1b09d (patch)
tree482fec902413c950bec8c252fc7e52a2c34cf910 /parser.sig
parent8a8a17e19bc4d474436d518f10c4d2dc5314fc0d (diff)
New printf combinator interface
Diffstat (limited to 'parser.sig')
-rw-r--r--parser.sig3
1 files changed, 2 insertions, 1 deletions
diff --git a/parser.sig b/parser.sig
index 7545f22..e3a1d3b 100644
--- a/parser.sig
+++ b/parser.sig
@@ -6,5 +6,6 @@ signature PARSER = sig
type def
val createParseCtx: string -> string list -> parseCtx
- val parseDef: parseCtx -> def * parseCtx
+ val parseDef: parseCtx -> (def * parseCtx) option
+ val printDef: def -> unit
end