Alias lookup k m = m.?[k]

amuletml · Mar 27, 2020 · c00a192 · c00a192
1 parent 0499d78
commit c00a192
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lib/data/map.ml b/lib/data/map.ml
@@ -87,6 +87,7 @@ let lookup k (M tree) =
       | Lt -> go l
       | Gt -> go r
   go tree
+let (.?[]) map key = lookup map key
 
 (** Lookup a key on the map. If it is not present, raise an exception.
  *)