package fmlib_std
Standard datatypes of Fmlib
Install
Dune Dependency
Authors
Maintainers
Sources
0.5.6.tar.gz
sha256=ceeef0fc034eaf510ef2d8decda4ea500d4855202e39f03132385153d3c0adf7
md5=b1c666fde2efc94be7a17d3fa986251e
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.