janestreet/univ_map

Universal/heterogeneous maps, useful for storing values of arbitrary type in a single map.

语言：OCaml · GitHub 星标：3 · Fork：1

在 GitHub 上查看原仓库