From c0599bcbb92af9cbaea52af3560ae08009d1b09d Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Fri, 30 May 2025 11:42:15 +0200 Subject: New printf combinator interface --- parser.sig | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'parser.sig') 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 -- cgit v1.2.3