summaryrefslogtreecommitdiff
path: root/src/Identifiers.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/Identifiers.ml')
-rw-r--r--src/Identifiers.ml2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Identifiers.ml b/src/Identifiers.ml
index d3e5b83e..18b8edee 100644
--- a/src/Identifiers.ml
+++ b/src/Identifiers.ml
@@ -63,6 +63,8 @@ module type Id = sig
module Map : Map.S with type key = id
+ (* TODO: map_to_string *)
+
val id_of_json : Yojson.Basic.t -> (id, string) result
end