diff options
Diffstat (limited to 'src/Identifiers.ml')
| -rw-r--r-- | src/Identifiers.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Identifiers.ml b/src/Identifiers.ml index 04f6c1b8..345ce058 100644 --- a/src/Identifiers.ml +++ b/src/Identifiers.ml @@ -18,6 +18,7 @@ module type Id = sig (* TODO: this is stateful! - but we may want to be able to duplicate contexts... *) val fresh : generator -> id * generator + (* TODO: change the order of the returned types *) val to_string : id -> string |