diff options
author | Son Ho | 2022-01-27 09:11:42 +0100 |
---|---|---|
committer | Son Ho | 2022-01-27 09:11:42 +0100 |
commit | f1dc4c9636f7ee237880e938bc8089697c6013e3 (patch) | |
tree | ed7c8d1ab6e5e5c06e3f3992d54dd2849959aa98 /src/Identifiers.ml | |
parent | dfd41681049ad7f7be503f150fb9c5e62f3b9ef9 (diff) |
Implement Translate.translate_function
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 3a900643..757c9df5 100644 --- a/src/Identifiers.ml +++ b/src/Identifiers.ml @@ -44,6 +44,7 @@ module type Id = sig val of_int : int -> id val nth : 'a list -> id -> 'a + (* TODO: change the signature (invert the index and the list *) val nth_opt : 'a list -> id -> 'a option |