package fmlib_std
Standard datatypes of Fmlib
Install
Dune Dependency
Authors
Maintainers
Sources
0.5.5.tar.gz
sha256=17d85e2ca14a57f7c7292f5cb53db1da63044487b5149cf366ea76db92b55818
md5=dd0b8db1f0de867708797cfbc471d652
doc/fmlib_std/Fmlib_std/Btree/index.html
Module Fmlib_std.Btree
Sets and maps based on B trees.
module Set (Key : Interfaces.SORTABLE) : sig ... endA finite set implemented by a B tree.
module Map (Key : Interfaces.SORTABLE) : sig ... endA finite map implemented by a B tree.