package fmlib_std
Standard datatypes of Fmlib
Install
Dune Dependency
Authors
Maintainers
Sources
0.4.0.tar.gz
sha256=b54320cbe9bddac9ff88654e1d8ffea1d2eecb48aa668f3483f26f80c7954531
md5=28a93cbd62d5debe496759e8e954848b
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.