diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-03-25 01:45:47 +0100 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-03-25 01:45:47 +0100 |
| commit | 90854ccf3514dc67a30556500e1716dd1933954c (patch) | |
| tree | b65b7f0739169337b6a4ce5b9ecdd18dc3617a56 /stream.sig | |
| parent | a0be166ef23e1b34b09060b99c03cdadb6ac2132 (diff) | |
Adequate token printing
Diffstat (limited to 'stream.sig')
| -rw-r--r-- | stream.sig | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -5,7 +5,7 @@ signature STREAM = sig type ppos (* pretty pos *) type t - type fileInfo + type fileInfo = fileId * string * string val convert: t -> fileInfo |