diff options
| author | Son Ho | 2022-01-04 16:52:39 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-04 16:52:39 +0100 |
| commit | dd588ec7647ba03eae517400f26f5825471798e5 (patch) | |
| tree | 285fd4a647244f7288e480b7906a10fa801b6962 /src/Identifiers.ml | |
| parent | b68bc96ce46a8b8b32556ab11d1577d4a124db9b (diff) | |
Implement expand_symbolic_value_shared_borrow
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 |