diff options
Diffstat (limited to 'parser.sig')
-rw-r--r-- | parser.sig | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -2,10 +2,10 @@ signature PARSER = sig structure P: PPC - type parseCtx + type ctx type def - val createParseCtx: string -> string list -> parseCtx - val parseDef: parseCtx -> (def * parseCtx) option + val createCtx: string -> string list -> ctx + val parseDef: ctx -> (def * ctx) option val printDef: def -> unit end |