-
Notifications
You must be signed in to change notification settings - Fork 0
/
univ_map.opam
30 lines (29 loc) · 1000 Bytes
/
univ_map.opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
opam-version: "2.0"
maintainer: "Jane Street developers"
authors: ["Jane Street Group, LLC"]
homepage: "https://github.com/janestreet/univ_map"
bug-reports: "https://github.com/janestreet/univ_map/issues"
dev-repo: "git+https://github.com/janestreet/univ_map.git"
doc: "https://ocaml.janestreet.com/ocaml-core/latest/doc/univ_map/index.html"
license: "MIT"
build: [
["dune" "build" "-p" name "-j" jobs]
]
depends: [
"ocaml" {>= "5.1.0"}
"base"
"ppx_base"
"ppx_here"
"ppx_inline_test"
"ppx_sexp_message"
"ppx_sexp_value"
"dune" {>= "3.11.0"}
]
available: arch != "arm32" & arch != "x86_32"
synopsis: "Universal/heterogeneous maps, useful for storing values of arbitrary type in a single map."
description: "
In order to recover a value, it must be looked up with exactly the [Key.t] it was
stored in. In other words, given different [Key.t]s from the same [string], one will
not be able to recover the key stored in the other one.
This is similar to [Univ] in spirit.
"