diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-08-04 15:12:55 +0200 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-08-04 15:12:55 +0200 |
| commit | 396ebf0c76153e5e1e9dc77371bdd02b4d3d85d1 (patch) | |
| tree | 3c2aab25631581d5367a6288c2eb9e0f812d76b0 /tokenizer.sig | |
| parent | 671760c2b5857312cac178f24cad8686c1d4b719 (diff) | |
Flattening of initializers
Diffstat (limited to 'tokenizer.sig')
| -rw-r--r-- | tokenizer.sig | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tokenizer.sig b/tokenizer.sig index 958619a..e436374 100644 --- a/tokenizer.sig +++ b/tokenizer.sig @@ -120,6 +120,8 @@ signature TOKENIZER = sig val getToken: token ST.t -> S.t -> token * S.pos * S.t val Ptk: (token ST.t, token, 'a, 'b, 'c) a2printer + val strlit2charList: string -> char list + val isPpcDir: token -> bool val debugPrint: string -> unit end |