diff options
Diffstat (limited to '')
-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 |