summaryrefslogtreecommitdiff
path: root/tokenizer.sig
diff options
context:
space:
mode:
Diffstat (limited to 'tokenizer.sig')
-rw-r--r--tokenizer.sig2
1 files changed, 2 insertions, 0 deletions
diff --git a/tokenizer.sig b/tokenizer.sig
index dd0eab4..ffbec52 100644
--- a/tokenizer.sig
+++ b/tokenizer.sig
@@ -8,4 +8,6 @@ signature TOKENIZER = sig
val tokenize: Stream.t -> fullToken list
val printToken: token -> unit
+
+ val printTokens: fullToken list -> string -> unit
end